microkernel topic
nebulet
A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
NOVA
NOVA Microhypervisor
f9-kernel
An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
seL4
The seL4 microkernel
zCore
Zircon microkernel reimplemented in Rust.
managarm
Pragmatic microkernel-based OS with fully asynchronous I/O
helenos
A portable microkernel-based multiserver operating system written from scratch.
resea
A microkernel-based hackable operating system.
OpenHarmony
华为开源鸿蒙分布式操作系统（Huawei OpenHarmony）开发技术交流，最全鸿蒙技术资料库，手册，指南，共建国产操作系统万物互联新生态。
rux
A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.