Repository navigation
#
sel4-microkernel
- Website
- Wikipedia
Operating System built on top of the seL4 microkernel.
C
8
3 年前
Rust embedded things running on the seL4 microkernel for the Raspberry Pi 3
Rust
6
6 年前
🌟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.
C
2
2 年前
