Getting Started with Secure Embedded Systems Developing IoT Systems for micro:bit and Raspberry Pi Pico Using Rust and Tock This repository provides the source code for the examples from Getting Started with Secure Embedded Systems book by Alexandru Radovici and Ioana Culic.