Sonata software Introduction Getting started Running Sonata software Exercises Hardware access control exercise Firmware auditing exercise Reference Using Sonata IO Exploring the CHERIoT RTOS Auditing firmware