Chapter 1: Introduction to Embedded Operating Systems
● FreeRTOS
● RIOT OS
● Zephyr
● Mbed OS
● Why is TockOS new and different?
Chapter 2: Modern Low Power Microcontrollers
● Main functional components of modern microcontrollers● Processing unit
o ARM Cortex-M
o RISC-V IMC and IMAC
● General memory layout
● Persistent storage
● Communications busses
● Debug
Chapter 3: The TockOS System Architecture
● Architecture
● Memory Layout
● Kernel○ Hardware Abstraction Layer
○ Capsules
● Applications
● Flashing the system
● Examples
Chapter 4: Running TockOS
● Preparing the tools● Understanding the kernel's source code
● Compiling the kernel
● Understanding the user land application source code
● Compiling an application
● Running using an emulator (RISC-V)
● Running using a real device (STM32F412)
Chapter 5: Writing Applications
● TockOS System calls
● The TockOS API library
● Adding a third-party library
● Building for several architectures
● TockOS Application Distribution
Chapter 6: Rust for TockOS
● Introduction to Rust
● Lifetimes
● Mutable references
Chapter 7: Writing a capsule
● Capsule architecture● Asynchronous API
● The Hardware Interface Layer
● Using a timer (for delays)
● System calls implementation
● Writing a component
● Using the capsule from an application
Chapter 8: Writing a Sensor Capsule
● Sensor HILs
● Virtual Device Interfaces
● Using the ADC device● Implementing the system calls
● Using the capsule from an application
Chapter 9: Using Communication Busses
● UART
● SPI
● i2C
● BLE
●&nbs
