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.

🏢 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

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.

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

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

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.

Microkernel and userspace written in Rust exploring modern ideas

Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.

A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V