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_12

12. Tock Systems Management

Alexandru Radovici¹   and Ioana Culic¹

(1)

Wyliodrin, Bucharest, Romania

 

So far, the chapters in this book have focused on application and system development using Tock. In a development environment, deploying a custom Tock system involves building the source code, bundling the applications with the kernel, and finally deploying the binaries in an easy to debug and monitor manner. We use tools such as OpenOCD and gdb to achieve this.

However, in the Getting Started with Tock chapter, we installed the tockloader utility as ...