Getting Started with Secure Embedded Systems: Developing IoT Systems for micro:bit and Raspberry Pi Pico Using Rust and Tock

© The Author(s), under exclusive license to APress Media, LLC, part of Springer Nature 2022

A. Radovici, I. CulicGetting Started with Secure Embedded Systemshttps://doi.org/10.1007/978-1-4842-7789-8_5

5. Getting Started with Tock

Alexandru Radovici¹   and Ioana Culic¹

(1)

Wyliodrin, Bucharest, Romania

 

This chapter will get you started with running the Tock operating system and a simple application on our devices. We will focus on running the classical “hello world” app on the micro:bit and the Raspberry Pi Pico. This will give us a head start to building more complex secure applications and modules in the following chapters of this book.

Hardware Requirements

To implement the project in this chapter, you need the following hardware components, based ...