Reference

The rest of this book is reference and background information. This information is not necessary to do the exercises, but is still useful for the broader context.

You may also want to look at the other documentation available for Sonata and CHERIoT in general:

• sonata-system: holds the Sonata System RTL and bootloader which come together to generate the bitstream. This repository also has a rendered Sonata System book.
• sonata-rp2040: The firmware that is running on the Sonata's RP2040 microcontroller and emulates the 'SONATA' drive when you plug it into your computer.
• sonata-pcb: The printed circuit board design for Sonata.
• cheriot-rtos: The CHERIoT software stack as well as drivers for the Sonata board.
• CHERIoT-Platform/llvm-project: The CHERIoT LLVM compiler toolchain.
• cheriot-audit: A tool to explore and verify the relationships between CHERIoT RTOS components.
• CHERIoT-Platform/book: The source of the CHERIoT Programmer's Guide.