Kernel

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

RT-Thread is an open source IoT Real-Time Operating System (RTOS). https://rt-thread.github.io/rt-thread/

The seL4 microkernel

A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.

Pragmatic microkernel-based OS with fully asynchronous I/O

Zircon microkernel reimplemented in Rust.

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

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

Genode OS Framework

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

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

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.

a little 64bit microkernel based operating system written in c++ with smp support

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

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

Ghost, a micro-kernel based hobby operating system.

Experimental WASM Microkernel Operating System

A microkernel-based hackable operating system.

NOVA Microhypervisor

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