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" that runs in Ring 0.

Zircon microkernel reimplemented in Rust.

Pragmatic microkernel-based OS with fully asynchronous I/O

A portable microkernel-based multiserver operating system written from scratch.

Genode OS Framework

🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering

MIT 6.828 Operating System Lab https://pdos.csail.mit.edu/6.828/2018/schedule.html

华为鸿蒙分布式操作系统（Huawei HarmonyOS，纯血鸿蒙Harmony Next ），开源鸿蒙分布式操作系统（ OpenHarmony）开发技术交流，最全鸿蒙技术资料库，手册，指南，共建国产操作系统万物互联新生态。

FreeNOS (Free Niek's Operating System) is an experimental microkernel based operating system for learning purposes written in C++. You may use the code as you wish under the terms of the GPLv3.

An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4

Mirror of https://gitlab.redox-os.org/redox-os/kernel

Ghost, a micro-kernel based hobby operating system.

A microkernel-based hackable operating system.

NOVA Microhypervisor

A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.

Experimental WASM Microkernel Operating System

Microkernel and userspace written in Rust exploring modern ideas