© 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_10

10. Service Capsules

Alexandru Radovici1   and Ioana Culic1
Wyliodrin, Bucharest, Romania

Tock has three types of capsules: syscall capsules, service capsules, and low-level drivers. Syscall capsules extend the kernel’s functionality and expose an API towards the userspace while service capsules and low-level capsules interact with hardware. So far, we have discussed, designed, and implemented synchronous and asynchronous syscall capsules. This chapter presents an adaptation of the TextDisplay syscall capsules to function as a service driver.

Requirements ...

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.