
Delivered by Digital Catapult, funded by UKRI through the Digital Security by Design programme.
Landing pages
The University of Cambridge’s introduction to CHERI
Landing pages
Arm’s Morello developer resources, such as reference manuals and links to development tools (compilers, virtual platform)
Manuals
Hardware reference manual for the Morello SoC, including system features and register-level programming information.
Manuals
CHERI architecture specification
Manuals
Morello instruction set reference manual
Presentations
Hardware memory safety challenges and opportunities
Presentations
Details on Linaro’s firmware and system software enablement
Papers
CHERI concepts, software benefits, rules, and hardware implementation
Papers
Discussing CHERI as software compartmentalisation and as a fine-grained in-process memory safety mechanism.