au-ts / sddf
A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
☆31Updated this week
Alternatives and similar repositories for sddf:
Users that are interested in sddf are comparing it to the libraries listed below
- Microkit - A simple operating system framework for the seL4 microkernel☆117Updated last month
- A secure, fast, and adaptable OS based on the seL4 microkernel☆133Updated this week
- seL4 Device Driver Framework☆23Updated last year
- sel4 benchmarking applications and support library.☆20Updated last week
- Capability Distribution Language tools for seL4☆35Updated last month
- Advanced Operating Systems project☆20Updated 8 months ago
- The Rumprun unikernel and toolchain for various platforms☆10Updated 10 months ago
- An experimental virtual machine monitor for the seL4 microkernel☆39Updated this week
- Sail code model of the CHERIoT ISA☆37Updated last month
- No-assurance libraries for rapid-prototyping of seL4 apps.☆53Updated last month
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆115Updated last year
- This is the source of the seL4 docs.☆16Updated this week
- A minimal runtime for seL4 applications.☆13Updated last month
- QEMU with support for CHERI☆58Updated 2 weeks ago
- Component Architecture test suite and example apps.☆28Updated last month
- ☆17Updated last month
- Official mirror of the Muen Separation Kernel repository☆85Updated this week
- Collection of community-maintained components for Genode☆46Updated this week
- Basic tools for building seL4 projects☆46Updated last month
- Integrate WasmEdge with seL4☆42Updated 2 years ago
- Tutorials for working with seL4 and/or CAmkES.☆55Updated this week
- view based o.s.☆40Updated 3 weeks ago
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆22Updated 3 weeks ago
- A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one☆71Updated this week
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆52Updated 2 years ago
- Apps for running with the rumprun unikernel on seL4.☆33Updated last week
- Prototype no-assurance reference OS personality built on seL4☆50Updated last month
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆40Updated 2 years ago
- Rust support for seL4 userspace☆152Updated last month
- ☆17Updated 9 months ago