cheri
There are 19 repositories under cheri topic.
esbmc/esbmc
The efficient SMT-based context-bounded model checker (ESBMC)
CTSRD-CHERI/cheribsd
FreeBSD adapted for CHERI-RISC-V and Arm Morello.
mdepx/mdepx
MDX — A BSD-style RTOS
jeremysinger/capabilitiesforcoders
Open-source textbook about CHERI capabilities, for a developer audience
CyberHive/rust-cheri
Fork of Rust adding CHERI support
lewis-revill/rust-cheri
Fork of Rust adding CHERI support
Beam-Connectivity/autocheri
AutoCHERI project website, for the UKRI funded project to put CHERI into an automotive setting via the Arm Morello dev platform
kent-weak-memory/rust
Experimental work-in-progress port of Rust to ARM's Morello capability-enabled ARM architecture
nw0/m-proj
Rust on CHERI: how hardware capabilities and safe languages work together for stronger, faster software. Master's dissertation.
CHERIoT-Platform/.github
The CHERIoT Platform is a hardware-software platform for secure embedded devices
GrassHopper1977/CheriBSD_Example_Error
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.
mertside/xbrtime-simple
xBGAS Runtime Simplified
pitukg/cheribsd-rtld-sandbox
CheriBSD with library sandboxing in the run-time linker for dissertation project
pitukg/ImageMagick
🧙♂️ ImageMagick 7 fork for CheriBSD using sandboxed libpng
pitukg/libpng
Libpng fork for cheribuild, configuring an easy-to-sandbox minimal version and bundling zlib
3bian/3bian-sonata-ds3231-example
Example I²C program for the DS3231 RTCC and lowRISC Sonata Board
3bian/3bian-sonata-empty-project
Empty starter project for the lowRISC Sonata Board
3bian/3bian-sonata-i2c
I²C device library for the lowRISC Sonata Board
Aaron-Rumpler/libactor-cheri
Actor Model Library for C - Ported to CHERI