microkernel

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

The seL4 microkernel

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

Reimplement Zircon microkernel in Rust.

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

Pragmatic microkernel-based OS with fully asynchronous I/O

🏢 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.

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

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.

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

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

Tools and runtime for launching unmodified container images in Trusted Execution Environments

Codezero Microkernel