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_6

6. The Structure of a Custom Tock System

Alexandru Radovici¹   and Ioana Culic¹

(1)

Wyliodrin, Bucharest, Romania

 

In the previous chapter, we followed the necessary steps to build and deploy the Tock kernel together with a simple single-process application based on libtock-c. To achieve this, we cloned the tock and libtock-c repositories, then we compiled and deployed the source code according to the device’s characteristics and the specific use-case.

However, there is a major issue with this process. The Tock kernel that we compiled has a different folder ...