Build secure and auditable IoT applications by mastering the IoT stack through Tock Operating System. TockOS runs on low power devices that offer lower deployment and maintenance costs, making them an ideal part of every IoT system. Running secure and audited software on these devices results in the success of an entire system. This book shows IoT systems designers and integrators how to ensure that all the software components run with security guarantees.

First, you'll explore the characteristics of TockOS and how to run it on ARM and RISC V platforms. You'll also take a look at Rust and how to use it for building secure applications on top of TockOS. Next, you'll review the TockOS applications frameworks for C and Rust. And then move from using the simple TockOS APIs to the more complex Inter-Process Communication system that allows applications to expose and consume services.


Further on, the book covers the internals of the TockOS kernel and presents the steps necessary to integrate new peripherals and hardware platforms. You'll write drivers, from simple to more complex, build a specific TockOS kernel image for your platform, and use communications busses to talk to peripherals and the cloud. By taking a practical approach, Getting Started with Secure Embedded Systems provides a complete view of the IoT stack based on the Tock Operating System.

What You'll Learn





Write applications and drivers for TockOS

Customize the kernel for specific hardware platforms

Run TockOS both on emulators and real hardware
Set a solid base for building secure and auditable IoT applications
Use TockOS to ensure the security of your microcontrollers and integrate it in your projects


Who This Book Is For

IoT system designers, developers and integrators who are familiar with operating systems concepts. The book can also be suitable for people with less experience, who want to gain an overview of the latest hardware and software technologies related to building secure IoT systems.