A hobbyist microkernel written in Rust, featuring a capability-based sys...
Microkernel and userspace written in Rust exploring modern ideas
Escape is a UNIX-like microkernel operating system that runs on x86, x86...
A lightweight, secure, multiprocessor bare-metal hypervisor written in R...
Rust operating system running WebAssembly as userspace in ring 0
Tools and runtime for launching unmodified container images in Trusted E...
Codezero Microkernel
Phoenix-RTOS microkernel repository
MoonOS (just a kernel atm) is a micro kernel designed for the x86_64 and...
The development version of the L4Re Microkernel
An capability-based microkernel general-purpose operating system focusin...
POK kernel. Safe and secure for safety-critical systems.
MultiZone® Security TEE is the quick and safe way to add security and se...
A secure and high performances microkernel for building secure MCU-based...