sel4-microkernel
There are 9 repositories under sel4-microkernel topic.
seL4/seL4
The seL4 microkernel
seL4/l4v
seL4 specification and proofs
manu88/Sofa
Operating System built on top of the seL4 microkernel.
jonlamb-gh/rpi3-rust-fel4-workspace
Rust embedded things running on the seL4 microkernel for the Raspberry Pi 3
ChasingTheDream369/Newfangled-Operating-System-over-seL4-Microkernel
🌟Welcome to Newfangled OS 🚀Unveiling the Newfangled Operating System-a remarkable blend of innovation and security built on the impervious seL4 Microkernel.🛡️Our journey began with dedicated servers and a threaded execution model,including File and Process Management servers, and a robust Interrupt Handling thread.🛠️📊Join us in the revolution.
chunky125/sel-claw
A rust runtime for sel4, based on selfe-sys and sel4-runtime
seL4/whitepaper
Source for the seL4 white paper
tw4452852/zig_sel4
Writing Sel4 application in Zig