CTSRD-CHERI / cherios
CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
☆40Updated 2 years ago
Alternatives and similar repositories for cherios:
Users that are interested in cherios are comparing it to the libraries listed below
- QEMU with support for CHERI☆58Updated 2 weeks ago
- Easily build and run CHERI related projects☆74Updated last week
- Semantic model for aspects of ELF static linking and DWARF debug information☆44Updated 4 months ago
- Fork of LLVM adding CHERI support☆52Updated last week
- Capability Distribution Language tools for seL4☆35Updated last month
- No-assurance libraries for rapid-prototyping of seL4 apps.☆53Updated last month
- Prototype no-assurance reference OS personality built on seL4☆50Updated last month
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆51Updated 2 years ago
- CHERI C/C++ Programming Guide☆31Updated 2 weeks ago
- Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model☆79Updated last month
- Virtual Machine built as a CAmkES component.☆23Updated last month
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆179Updated this week
- Example implementation of Arm's Architecture Specification Language (ASL)☆115Updated 5 years ago
- Tutorials for working with seL4 and/or CAmkES.☆54Updated last week
- NOVA userland☆48Updated 11 years ago
- Collection of community-maintained components for Genode☆46Updated last week
- sel4 benchmarking applications and support library.☆20Updated last week
- Example implementation of Arm's Architecture Specification Language (ASL)☆41Updated last month
- Sled System Emulator☆28Updated last week
- Advanced Operating Systems project☆20Updated 8 months ago
- rmem public repo☆41Updated last month
- Basic tools for building seL4 projects☆46Updated 3 weeks ago
- K42 Kernel☆27Updated 12 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- L4Ka::Hazelnut micro-kernel☆33Updated 9 years ago
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆31Updated this week
- seL4 Device Driver Framework☆23Updated last year
- LFI: Practical, Efficient, and Secure Software-based Sandboxing☆68Updated this week
- The Rumprun unikernel and toolchain for various platforms☆10Updated 10 months ago
- Official mirror of the Muen Separation Kernel repository☆85Updated this week