Website delivered by Digital Catapult as part of the Technology Access Programme, funded by UKRI through the Digital Security by Design Programme
Repositories
A variety of open-source software projects contribute to the CHERI and Morello ecosystem, including firmware, libraries, compilers, and other tools.
Firmware
Morello firmware
GitHub repository
This repository provides the board firmware for Morello and can be used to update the factory defaults; only the "morello/mainline" branch is recommended or fully supported by CheriBSD
SDKs/stack
cheribuild.py
GitHub repository
A Python script that can build a variety of CHERI-related projects, including compatible versions of QEMU, LLVM, and GDB as well as QEMU images for CHERI RISC-V and Morello
CHERIseed
GitHub repository
A tool to enable the use of CHERI C/C++ semantics natively on an x86 or ARM64 host, to cross-compile for Morello and expedite the porting of existing software
LLVM for Morello
GitHub repository
A LLVM port that fully supports compiling on, or cross-compiling for, the Morello architecture; support includes both the Fixed Virtual Platform and the Morello hardware prototype
CheriBSD
GitHub repository
CheriBSD is a fork of FreeBSD modified by the University of Cambridge and SRI International to support the CHERI ISA; several kernels are bundled by default and support both hybrid and pure-cap ABIs
Tools
CheriTree
GitHub repository
This tool displays a derivation tree of the valid capabilities found for a pure-cap application at runtime; it has been tested for CheriBSD on Morello hardware, but is currently an alpha
Capinfo
GitHub repository
This web application visualises a given capability, indicating whether it appears valid and displaying all pertinent information from the permissions available to the metadata