A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
☆45Mar 2, 2026Updated this week
Alternatives and similar repositories for sddf
Users that are interested in sddf are comparing it to the libraries listed below
Sorting:
- A secure, fast, and adaptable OS based on the seL4 microkernel☆224Updated this week
- Microkit - A simple operating system framework for the seL4 microkernel☆174Feb 26, 2026Updated last week
- A virtual machine monitor for the seL4 microkernel☆53Updated this week
- Nix tooling for the seL4 microkernel & ecosystem☆15Dec 12, 2025Updated 2 months ago
- Rust support for seL4 userspace☆190Feb 13, 2026Updated 2 weeks ago
- Advanced Operating Systems project☆21Sep 19, 2025Updated 5 months ago
- Security research organization dedicated to finding low hanging, critical, vulnerabilities.☆15May 12, 2022Updated 3 years ago
- Integrate WasmEdge with seL4☆43Jun 14, 2022Updated 3 years ago
- Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.☆14Aug 18, 2025Updated 6 months ago
- Official Haiku fork of the WebKit repository☆12Updated this week
- Smart contracts and utilities for Proof of Data Possession☆17Feb 25, 2026Updated last week
- Golang implementation of Fast Finality for Filecoin (F3)☆17Feb 22, 2026Updated last week
- A small C runtime for bare-metal VMs on the Gunyah Hypervisor.☆15Oct 8, 2025Updated 4 months ago
- QEMU 训练营教学文档☆26Nov 7, 2025Updated 3 months ago
- Implementation of libsodium's secretstream in Go☆20Feb 10, 2026Updated 3 weeks ago
- Website for stories around the Genode operating system (migrated to codeberg.org)☆18Dec 12, 2025Updated 2 months ago
- d-EVD-dual-electric-vehicle-dataset☆12Aug 21, 2025Updated 6 months ago
- sel4 benchmarking applications and support library.☆19Dec 18, 2025Updated 2 months ago
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆23Feb 25, 2026Updated last week
- Building seL4 and generating Rust bindings based on feL4 configuration☆22May 31, 2018Updated 7 years ago
- Prototype no-assurance reference OS personality built on seL4☆51Mar 17, 2025Updated 11 months ago
- Interactive Janet mode☆26Apr 30, 2022Updated 3 years ago
- Universal backend for indexing, storing, and querying documents.☆24Nov 10, 2019Updated 6 years ago
- The main CAmkES tool☆27Nov 25, 2025Updated 3 months ago
- ROS 2 RMW implementation for iceoryx2☆45Mar 28, 2025Updated 11 months ago
- The Octopus operating system☆30Nov 26, 2020Updated 5 years ago
- ☆15Feb 10, 2026Updated 3 weeks ago
- AGX Dynamics for Unreal plugin.☆12Updated this week
- Site level energy system optimization model toolbox for investigations of EV fleet integration and management strategies☆13Apr 22, 2025Updated 10 months ago
- ☆17Dec 22, 2025Updated 2 months ago
- Capability Distribution Language tools for seL4☆38Nov 25, 2025Updated 3 months ago
- A scripting and animation runtime for the RAMSES rendering ecosystem☆10Jul 5, 2024Updated last year
- uServices - Open Vehicle Interfaces☆13Aug 2, 2024Updated last year
- A log of the state of fil+ allocators☆12Feb 24, 2026Updated last week
- Predictive Unit Real-Time Information Service (PURIS) for Short Term Demand and Capacity Management☆20Feb 17, 2026Updated 2 weeks ago
- ☆12Jan 29, 2026Updated last month
- Record and replay serial port traffic with pytest.☆10Dec 30, 2025Updated 2 months ago
- Open-source RHBD (Radiation Hardened by Design) Standard-Cell Library for SKY130☆13Feb 19, 2026Updated 2 weeks ago
- Python library and utilities for generating and transferring data to Timex Data Link smartwatches☆12Jul 18, 2023Updated 2 years ago