CHERIoT Programmers' Guide

The CHERIoT Programmers' Guide is the official reference work for developers building on the CHERIoT Platform. It covers the core abstractions provided by the CHERIoT ISA, the C/C++ language extensions, and the CHERIoT RTOS. This guide contains everything you need to begin developing secure, memory-safe, compartmentalised, embedded and IoT systems.