Tock is the first embedded operating system used in the industry written in another programming language than C/C++. This makes it particularly interesting from both the operating system’s perspective and the embedded security point of view. In this chapter, we will dive into how Tock is built and the characteristics that make it an appropriate operating system for building secure embedded applications.
Tock is an embedded operating system ...
Get Getting Started with Secure Embedded Systems: Developing IoT Systems for micro:bit and Raspberry Pi Pico Using Rust and Tock now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
Get Mark Richards’s Software Architecture Patterns ebook to better understand how to design components—and how they should interact.
Dive in for free with a 10-day trial of the O’Reilly learning platform—then explore all the other resources our members count on to build skills and solve problems every day.
Start your free trial Become a member now