lucypa / sDDFLinks
seL4 Device Driver Framework
☆22Updated 2 years ago
Alternatives and similar repositories for sDDF
Users that are interested in sDDF are comparing it to the libraries listed below
Sorting:
- Microkit - A simple operating system framework for the seL4 microkernel☆162Updated 2 weeks ago
- ☆17Updated 3 weeks ago
- Tutorials for working with seL4 and/or CAmkES.☆56Updated 4 months ago
- Prototype no-assurance reference OS personality built on seL4☆50Updated 8 months ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆50Updated 4 months ago
- RISC-V Specification in Coq☆116Updated 2 months ago
- Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model☆89Updated 2 weeks ago
- Fork of LLVM adding CHERI support☆58Updated last week
- A virtual machine monitor for the seL4 microkernel☆45Updated this week
- No-assurance libraries for rapid-prototyping of seL4 apps.☆56Updated 4 months ago
- sel4 benchmarking applications and support library.☆19Updated 4 months ago
- ALLVM Tools☆56Updated 3 years ago
- Capability Distribution Language tools for seL4☆37Updated 2 weeks ago
- Component Architecture test suite and example apps.☆32Updated 3 months ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆42Updated 3 years ago
- Virtual Machine built as a CAmkES component.☆24Updated 3 months ago
- Formal specification and verification of hardware, especially for security and privacy.☆128Updated 3 years ago
- QEMU with support for CHERI☆63Updated last week
- Apps for running with the rumprun unikernel on seL4.☆33Updated this week
- Easily build and run CHERI related projects☆84Updated last week
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆37Updated this week
- CN separation logic refinement type system for C☆42Updated this week
- Cerberus C semantics☆77Updated 2 weeks ago
- CHERI-RISC-V model written in Sail☆66Updated 5 months ago
- Kansas Lava☆50Updated 6 years ago
- A memory allocator verified with Verus☆25Updated 4 months ago
- NOVA Microhypervisor☆20Updated this week
- Sources for the ANSI/ISO C Specification Language manual☆63Updated last month
- Sail code model of the CHERIoT ISA☆48Updated this week
- A formal semantics of the RISC-V ISA in Haskell☆172Updated 2 years ago