microkernel
There are 220 repositories under microkernel topic.
redox-os/redox
Mirror of https://gitlab.redox-os.org/redox-os/redox
RT-Thread/rt-thread
RT-Thread is an open source IoT Real-Time Operating System (RTOS). https://rt-thread.github.io/rt-thread/
seL4/seL4
The seL4 microkernel
nebulet/nebulet
A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
rcore-os/zCore
Zircon microkernel reimplemented in Rust.
managarm/managarm
Pragmatic microkernel-based OS with fully asynchronous I/O
HelenOS/helenos
A portable microkernel-based multiserver operating system written from scratch.
fenwii/OpenHarmony
华为鸿蒙分布式操作系统（Huawei HarmonyOS，纯血鸿蒙Harmony Next ），开源鸿蒙分布式操作系统（ OpenHarmony）开发技术交流，最全鸿蒙技术资料库，手册，指南，共建国产操作系统万物互联新生态。
genodelabs/genode
Genode OS Framework
SmallPond/MIT6.828_OS
MIT 6.828 Operating System Lab https://pdos.csail.mit.edu/6.828/2018/schedule.html
brutal-org/brutal
🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering
nieklinnenbank/FreeNOS
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.
Supercip971/WingOS
a little 64bit microkernel based operating system written in c++ with smp support
redox-os/kernel
Mirror of https://gitlab.redox-os.org/redox-os/kernel
f9micro/f9-kernel
An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
maxdev1/ghost
Ghost, a micro-kernel based hobby operating system.
nuta/resea
A microkernel-based hackable operating system.
JonasKruckenberg/k23
Experimental WASM Microkernel Operating System
udosteinberg/NOVA
NOVA Microhypervisor
sorpaas/rux
A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
IsaacWoods/poplar
Toy microkernel and userspace written in Rust exploring modern ideas
nuta/microkernel-book
『自作OSで学ぶマイクロカーネルの設計と実装』サポートサイト
Nils-TUD/Escape
Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
diodesign/diosix
A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
lux-operating-system/kernel
Portable asynchronous microkernel with multiprocessor priority scheduling and Unix-like abstractions
nanvix/nanvix
Microkernel-Based Research Operating System Written in Rust
kwast-os/kwast
Rust operating system running WebAssembly as userspace in ring 0
microsoft/mystikos
Tools and runtime for launching unmodified container images in Trusted Execution Environments
phoenix-rtos/phoenix-rtos-kernel
Phoenix-RTOS microkernel repository
kernkonzept/fiasco
The development version of the L4Re Microkernel
jserv/codezero
Codezero Microkernel
pok-kernel/pok
POK kernel. Safe and secure for safety-critical systems.
V01D-NULL/MoonOS
MoonOS (just a kernel atm) is a micro kernel designed for the x86_64 and arm architecure.
fosd-project/FOSD
Framework of Operating System Development
kernkonzept/l4re-core
The core components of the L4Re operating system.
EDI-Systems/M7M01_Eukaron
An microkernel focusing on hyperadaptability, hyperreusability, and hyperdeployability.