Sonata: A development platform to enable exploring the use of CHERI for embedded applications

on YouTube ↗15m

" summary

Sonata is an open-source development platform that puts CHERI-derived Chariot protection on an Artix‑7 FPGA SoC with an Ibex core, HyperRAM execution, RP2040 management, Ethernet and Raspberry‑Pi/Arduino hat compatibility. The project ships a reference SoC, tooling (LLVM/GDB/FreeBSD ports and a CHERIoT OS stack), and a $400–$500 open hardware board available from May; UKRI DSbD funding (Grant 107540) underwrites 100 free boards to seed developers, demonstrating a working, hackable CHERI embedded path.

AI-written summary · about

" chapters (13)

1. 0:00Introduction
2. 0:10Lowrisk
3. 0:39IEX
4. 0:54Open Titan
5. 1:50The problem
6. 3:44CHERI
7. 5:03Microsoft Embedded
8. 6:17Sunburst Project
9. 8:25Sonata System
10. 9:30Sonata Board
11. 10:53Free Sonata Boards
12. 11:18Summary
13. 12:11Contact

" related talks

• 12mIntroducing Sonata — the new open source platform for CHERIoT developmentGreg Chadwick · RISC-V Summit Europe 2024
• 20mMaking CHERI AccessibleMarno van der Maas, John Thomson · RISC-V Summit North America 2025
• 01h 33mHands-on Introduction to CHERIMarno van der Maas, John Thomson, Alfredo Mazzinghi · RISC-V Summit Europe 2026 Developer Workshops
• 22mIntroduction to Project CHERIoTKunyan Liu · RISC-V Summit North America 2023
• 11mDemo: Securely Booting CHERI on a Full OS to Prevent Buffer Overflow AttacksCarl Shaw · RISC-V Summit North America 2024
• 53mLinux and CHERI: Back to the FutureCarl Shaw · Linux Security Summit Europe 2025
• 18mCVA6-CHERI - An Open-source RV64Y Implementation for CommercializationJ. Woodruff, A. Joannou · RISC-V Summit North America 2025
• 10mCHERI in out-of-order microarchitecturesFranz Fuchs · RISC-V Summit Europe 2024