The efficient SMT-based context-bounded model checker (ESBMC)

FreeBSD adapted for CHERI-RISC-V and Arm Morello.

MDX — A bare-metal / RTOS framework

Open-source textbook about CHERI capabilities, for a developer audience

Fork of Rust adding CHERI support

Fork of Rust adding CHERI support

Electric Vehicle Charging Demonstrator is part of a work package to showcase CHERI - Morello and Connect capabilities.

Experimental work-in-progress port of Rust to ARM's Morello capability-enabled ARM architecture

金沢大学履修登録支援Webアプリ Inspired by kurisyushien.org

AutoCHERI project website, for the UKRI funded project to put CHERI into an automotive setting via the Arm Morello dev platform

Rust on CHERI: how hardware capabilities and safe languages work together for stronger, faster software. Master's dissertation.

xBGAS Runtime Simplified

🧙‍♂️ ImageMagick 7 fork for CheriBSD using sandboxed libpng

Empty starter project for the lowRISC Sonata Board

I²C device library for the lowRISC Sonata Board

Libpng fork for cheribuild, configuring an easy-to-sandbox minimal version and bundling zlib

The CHERIoT Platform is a hardware-software platform for secure embedded devices

Staging repository for FreeBSD/CHERI upstreaming work

Example I²C program for the DS3231 RTCC and lowRISC Sonata Board

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.