This repository contains software, build flows and examples for the Sonata System running on the Sonata PCB. For a guide on how to get up and running on building software for the sonata board see the getting started guide. After you are all set up, take a look at the exercises.

You are in the sonata-software repository. This repository wraps the cheriot-rtos, which is included in this repository as a submodule. cheriot-rtos contains the CHERIoT software stack as well as drivers for using the Sonata board; it is well documented by the CHERIoT Programmer's Guide.

Other repositories of note:

• sonata-system: holds the Sonata system RTL and bootloader which come together to generate the bitstream.
• 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.
• 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.

For hardware documentation, see the Sonata system book.

Unless otherwise noted, everything in the repository is covered by the Apache License, Version 2.0. See the LICENSE file for more information on licensing.