There are 0 repository under cheri topic.
FreeBSD adapted for CHERI-RISC-V and Arm Morello.
Open-source textbook about CHERI capabilities, for a developer audience
AutoCHERI project website, for the UKRI funded project to put CHERI into an automotive setting via the Arm Morello dev platform
CheriBSD with library sandboxing in the run-time linker for dissertation project
🧙♂️ ImageMagick 7 fork for CheriBSD using sandboxed libpng
Libpng fork for cheribuild, configuring an easy-to-sandbox minimal version and bundling zlib
We thought that we'd found an error with the read when used with USB to Serial devices but inactual fact we'd found a good example of the power of Cheri to protect us from faults caused by simple typos. Mistakes that are easy to make but can be difficult to spot. We're keeping this repository as an example of Cheri in the real world.
Experimental work-in-progress port of Rust to ARM's Morello capability-enabled ARM architecture