seL4 Device Driver Framework
☆23Dec 7, 2023Updated 2 years ago
Alternatives and similar repositories for sDDF
Users that are interested in sDDF are comparing it to the libraries listed below
Sorting:
- This is the source of the seL4 docs.☆18Updated this week
- Microkit - A simple operating system framework for the seL4 microkernel☆174Updated this week
- The Rumprun unikernel and toolchain for various platforms☆11Jul 2, 2024Updated last year
- XtratuM Mirror☆21Apr 7, 2017Updated 8 years ago
- A Rust driver for the Arm Generic Interrupt Controller version 3 or 4 (GICv3 and GICv4).☆38Aug 18, 2025Updated 6 months ago
- Port of HTTP/AF & H2 with Mirage and mimic☆30Feb 18, 2025Updated last year
- Effectful OCaml with Objects and Variants☆29Feb 3, 2023Updated 3 years ago
- Tutorials for working with seL4 and/or CAmkES.☆59Feb 17, 2026Updated 2 weeks ago
- ☆31Feb 7, 2026Updated 3 weeks ago
- Community site for microkernel projects.☆30Dec 30, 2025Updated 2 months ago
- Mokoid: 上機練習範本，完整內容: https://github.com/jollen/android-framework-mokoid☆30Mar 9, 2014Updated 11 years ago
- A desktop application that allows you to record audio from specific applications on Linux. Built with Deno, Svelte, and WebView.☆16Feb 24, 2026Updated last week
- An async Rust wrapper around the BlueZ D-Bus interface, for Bluetooth central functionality on Linux.☆41Feb 16, 2026Updated 2 weeks ago
- Capability Distribution Language tools for seL4☆38Nov 25, 2025Updated 3 months ago
- A verified compiler for a lazy functional language☆39Updated this week
- A Rust implementation of AUTOSTAR's Scalable service-Oriented MiddlewarE over IP (SOME/IP).☆13Dec 17, 2025Updated 2 months ago
- A Rust library to manipulate AArch64 VMSA EL1 page tables.☆40Updated this week
- A secure, fast, and adaptable OS based on the seL4 microkernel☆224Updated this week
- Translate semantic database language Xplain to SQL☆10Feb 1, 2021Updated 5 years ago
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated last month
- A blazingly-fast, hackable linter☆10Apr 15, 2025Updated 10 months ago
- Minecraft Redstone Compiler☆14Feb 9, 2025Updated last year
- Open Cryptanalysis Platform☆13Feb 7, 2026Updated 3 weeks ago
- Yocto Explorer: is a command line tool to ease the manipulation of files under the directory structure adopted by O.S. Systems to organiz…☆10Feb 23, 2022Updated 4 years ago
- BUSted!!! Microarchitectural Side-Channel Attacks on the MCU Bus Interconnect☆11May 21, 2024Updated last year
- ☆10Jun 2, 2020Updated 5 years ago
- Nokia 1616 and Nokia 1661 TFT LCD Library For AVR☆10Feb 2, 2022Updated 4 years ago
- Rust support for seL4 userspace☆190Feb 13, 2026Updated 2 weeks ago
- DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.☆55Updated this week
- A virtual machine monitor for the seL4 microkernel☆53Updated this week
- Basic tools for building seL4 projects☆53Feb 23, 2026Updated last week
- The core components of the L4Re operating system.☆101Updated this week
- Count how many bits are set (population count) in C++ using POPCNT via inline assembly and gcc intrinsics (with benchmarks)☆16May 9, 2011Updated 14 years ago
- A coöperative multitasking framework based on `liburing` and `libucontext`☆16Jan 2, 2026Updated 2 months ago
- work in progress, playing around with btor2 in rust☆12Feb 24, 2026Updated last week
- Simply and Easily cross-compile the Rust sysroot crates.☆14Jan 24, 2022Updated 4 years ago
- A tool based on eBPF to find out scalability bottlenecks in kernel.☆13Jun 11, 2020Updated 5 years ago
- Learn the Design of a 6-stage pipelined RISC-V CPU☆17Oct 22, 2025Updated 4 months ago
- Import Haskell modules in Python as if they were native modules☆12Mar 30, 2021Updated 4 years ago