Explore Projects
Discover 12 open source projects
Showing 1-12 of 12 projects
redox-os/redox
Redox is an open-source microkernel-based operating system written in Rust, focused on security and modern hardware support.
RT-Thread/rt-thread
RT-Thread is an open source IoT real-time operating system (RTOS) for embedded systems and microcontrollers.
seL4/seL4
The seL4 microkernel is a high-performance, highly secure, open-source operating system kernel.
Stichting-MINIX-Research-Foundation/minix
Official MINIX sources - an open-source microkernel-based operating system used for research and education.
nebulet/nebulet
A proof-of-concept microkernel that implements a WebAssembly 'usermode' running in Ring 0
managarm/managarm
A pragmatic, microkernel-based OS with fully asynchronous I/O, built with modern C++.
rcore-os/zCore
A Rust-based reimplementation of the Zircon microkernel, a key component of the Google Fuchsia operating system.
HelenOS/helenos
A portable microkernel-based multiserver operating system written from scratch for research and development.
fenwii/OpenHarmony
OpenHarmony is an open-source distributed operating system developed by Huawei, focused on IoT and embedded devices.
genodelabs/genode
Genode OS Framework is a microkernel-based operating system focused on security, modularity, and portability.
SmallPond/MIT6.828_OS
An open-source operating system development lab based on MIT's 6.828 course, focused on building a microkernel OS.
brutal-org/brutal
An open-source operating system inspired by UNIX and modern C development
Stay in the loop
Get weekly updates on trending AI coding tools and projects.