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.
☆27Updated this week
Alternatives and similar repositories for sddf:
Users that are interested in sddf are comparing it to the libraries listed below
- A secure, fast, and adaptable OS based on the seL4 microkernel☆109Updated this week
- Microkit - A simple operating system framework for the seL4 microkernel☆103Updated this week
- sel4 benchmarking applications and support library.☆19Updated last week
- Advanced Operating Systems project☆20Updated 5 months ago
- Collection of community-maintained components for Genode☆47Updated this week
- Capability Distribution Language tools for seL4☆35Updated 7 months ago
- Sail code model of the CHERIoT ISA☆34Updated last month
- Betrusted embedded controller (UP5K)☆45Updated last year
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆21Updated this week
- The Rumprun unikernel and toolchain for various platforms☆10Updated 7 months ago
- An experimental virtual machine monitor for the seL4 microkernel☆33Updated this week
- seL4 Device Driver Framework☆23Updated last year
- 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
- Component Architecture test suite and example apps.☆27Updated 7 months ago
- Sled System Emulator☆28Updated this week
- Tool and library for generating X.509 certificates and certificate requests (mirror)☆16Updated 3 years ago
- A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one☆45Updated this week
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆38Updated 2 years ago
- ☆20Updated this week
- view based o.s.☆39Updated this week
- This is the source of the seL4 docs.☆16Updated this week
- ☆38Updated last month
- A version of the Lisp programming language for RISC-V based boards.☆28Updated last month
- RTOS based on L4 microkernel.☆17Updated 6 years ago
- Integrate WasmEdge with seL4☆43Updated 2 years ago
- Collection of toolchains built from source☆16Updated last month
- A C11 compiler for the discrete logic computer☆20Updated 10 months ago
- A minimal runtime for seL4 applications.☆13Updated this week
- Tool for streamlining the development of Genode applications☆22Updated last week
- ☆15Updated 2 weeks ago