
Delivered by Digital Catapult, funded by UKRI through the Digital Security by Design programme.
Landing pages
Arm’s Morello developer resources, such as reference manuals and links to development tools (compilers, virtual platform)
Landing pages
The University of Cambridge’s introduction to CHERI
Landing pages
University of Cambridge Morello resources
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
Presentations
Watch Jeremey Singer from University of Glasgow unbox his Morello board
Blogs
Getting started with Morello LLVM/Clang compilers, IDE, and the Fixed Virtual Platform
Blogs
The Contribution of Digital Security in Cyber Security
Blogs
How rigorous engineering methods were used to provide high assurance of key security properties of CHERI architectures
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.