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_10

10. Service Capsules

Alexandru Radovici¹   and Ioana Culic¹

(1)

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 ...