Mirror of https://gitlab.redox-os.org/redox-os/redox
RT-Thread is an open source IoT real-time operating system (RTOS).
The seL4 microkernel
A proof-of-concept microkernel that implements a WebAssembly "usermode" ...
Zircon microkernel reimplemented in Rust.
Pragmatic microkernel-based OS with fully asynchronous I/O
A portable microkernel-based multiserver operating system written from s...
🏢 An operating system inspired by brutalist design that combines the id...
MIT 6.828 Operating System Lab https://pdos.csail.mit.edu/6.828/2018/sch...
FreeNOS (Free Niek's Operating System) is an experimental microkernel ba...
华为开源鸿蒙分布式操作系统（Huawei OpenHarmony）开发技术交流，最全鸿蒙技...
An efficient and secure microkernel built for ARM Cortex-M cores, inspir...
Ghost, a micro-kernel based hobby operating system.
A microkernel-based hackable operating system.
NOVA Microhypervisor