Lead
SCI Semiconductor

Research leads
David Chisnall

Focus
The CHERIoT Programmers’ Guide aims to be a complete onboarding guide for developers starting to develop on the CHERIoT platform and, by extension, to familiarise developers with the features common to any CHERI system.

The Guide is a work-in-progress introduction to the platform, providing a grounding in CHERI, the extra features of CHERIoT, and in designing compartmentalised software.

Goals:

CHERIoT was created with two main goals:

• Create a CHERI variant that can be deployed in a market where existing solutions (such as process-based isolation) are not available due to hardware costs.

• Showcase the benefits of CHERI by creating a platform that assumes CHERI and builds abstractions at each layer that depend on universal, non-bypassable, memory safety as a core building block.