Website delivered by Digital Catapult as part of the Technology Access Programme, funded by UKRI through the Digital Security by Design Programme
Starter guides
Several key documents are available to get you started with Morello hardware and CheriBSD software, give you a detailed understanding of the CHERI architecture and Morello instruction set, and provide programming guidance. There are also several presentations to help you get started with CHERI and Morello concepts, and a number of academic papers.
Partner sites
Morello
Document
Arm’s introduction to the Morello project, with links to reference manuals, starter guides, its forum, blogs, and toolchain
CHERI
Document
The University of Cambridge’s landing page for CHERI, with links to its research projects, technical reports, tooling, and workshops
Guides
CHERI C/C++
Document
An introduction to the CHERI extension of the C/C++ programming languages, with an overview of the new errors, warnings, and APIs
CheriBSD
Document
A guide for installing CheriBSD on either Morello or CHERI RISC-V, with detail on the available disk images, package management, and on firmware updates
Morello Linux
Document
A guide for installing Morello Linux, itself based on Debian, and for building a kernel, example libraries, and compatible debuggers
Morello prototype
Document
A PDF guide to the Morello hardware prototype, with instructions on how to update the firmware, build packages, and debug the binary interfaces
Presentations
Richard Grisenthwaite (Arm)
Document
This is a 36-minute overview on Arm's current strategy for architectural design from Richard Grisenthwaite, presented during the 2019 KTN workshop
Robert Watson (University of Cambridge)
Document
Robert Watson, a professor at the University of Cambridge, delivered this 20-minute introduction to capability-based systems and CHERI at the 2019 KTN workshop
Manuel Costa (Microsoft)
Document
A 37-minute talk by Microsoft's Manuel Costa, at a KTN workshop in 2019, describing the memory vulnerability issues being targeted by DSbD
Mark Nicholson (Arm)
Document
A 26-minute video presentation by Arm's Mark Nicholson on the company's ambitions for the Morello platform, its roadmap, and the collaboration with Linaro