Projects in Awesome Lists tagged with sel4-microkernel
A curated list of projects in awesome lists tagged with sel4-microkernel .
https://github.com/sel4/sel4
The seL4 microkernel
microkernel os sel4 sel4-microkernel
Last synced: 13 May 2025
https://github.com/seL4/seL4
The seL4 microkernel
microkernel os sel4 sel4-microkernel
Last synced: 26 Mar 2025
https://github.com/sel4/l4v
seL4 specification and proofs
formalisation isabelle proof sel4-microkernel sel4-proofs
Last synced: 26 Jan 2026
https://github.com/jonlamb-gh/rpi3-rust-fel4-workspace
Rust embedded things running on the seL4 microkernel for the Raspberry Pi 3
aarch64 cargo-fel4 dma embedded-hal fel4 gpu gpu-memory graphics raspberry-pi-3 rpi3 rust rust-embedded sel4 sel4-microkernel
Last synced: 11 Apr 2025
https://github.com/sel4/whitepaper
Source for the seL4 white paper
microkernel os sel4 sel4-microkernel
Last synced: 16 Feb 2026