Getting Started with Secure Embedded Systems: Developing IoT Systems for micro:bit and Raspberry Pi Pico Using Rust and Tock

Index

A

ADC library

Advanced High-performance Bus (AHB)

Advanced Peripheral Bus (APB)

Advanced RISC Machine (ARM)

allocate_grant function

allow system call

allow_readonly function

Apollo Guidance Computer (AGC)

Application Binary Interface (ABI)

Application Programming Interface (API)

app_state library

Asynchronous system calls

callback function

callback function returns

environment sensor

GPIO ports

process calls

read command

schedule

schedule/subscribe

system call pattern

yield system

B

boards directory

Bootloader software

C

Capsule (Asynchronous)

allow system call

buffer/share

command system call

command system

DigitLetterDisplay

hardware components

subscribe system call

TextDisplay driver

text displays

character

hardware implementation

kernel structure

LED matrix

signal application ...