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.
☆30Updated 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☆104Updated this week
- A secure, fast, and adaptable OS based on the seL4 microkernel☆113Updated this week
- sel4 benchmarking applications and support library.☆19Updated last week
- An experimental virtual machine monitor for the seL4 microkernel☆35Updated this week
- seL4 Device Driver Framework☆23Updated last year
- Advanced Operating Systems project☆20Updated 6 months ago
- ☆15Updated 7 months ago
- Collection of community-maintained components for Genode☆46Updated last week
- Sail code model of the CHERIoT ISA☆35Updated 2 months ago
- view based o.s.☆39Updated last month
- ☆15Updated last week
- ☆16Updated 2 years ago
- QEMU with support for CHERI☆58Updated last week
- Virtual machine monitor for L4Re☆28Updated last week
- This is the source of the seL4 docs.☆16Updated this week
- RISC-V Specific Device Tree Documentation☆42Updated 8 months ago
- Rust support for seL4 userspace☆135Updated last week
- Integrate WasmEdge with seL4☆43Updated 2 years ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆52Updated last week
- C++ REPL for bare-metal embedded devices☆25Updated 2 years ago
- 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
- Tool and library for generating X.509 certificates and certificate requests (mirror)☆16Updated 3 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 years ago
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆21Updated this week
- WebAssembly-based Yosys distribution for Amaranth HDL☆26Updated 2 weeks ago
- ☆29Updated 2 years ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆111Updated last year
- The ISA specification for the ZiCondOps extension.☆19Updated 11 months ago
- The Boot and Runtime Services (BRS) specification provides the software requirements for system vendors and Operating System Vendors (OSV…☆46Updated last week
- riscv-linux musl gcc toolchain bootstrap scripts☆17Updated 4 years ago