microkernel
There are 54 repositories under microkernel topic.
- Language:Shell 15728
RT-Thread / rt-thread
RT-Thread is an open source IoT Real-Time Operating System (RTOS). https://rt-thread.github.io/rt-thread/
Language:C 11519- Language:C 5135
nebulet / nebulet
A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
Language:Rust 2348- Language:C++ 1811
- Language:Rust 1768
- Language:C 1513
fenwii / OpenHarmony
华为鸿蒙分布式操作系统（Huawei HarmonyOS，纯血鸿蒙Harmony Next ），开源鸿蒙分布式操作系统（ OpenHarmony）开发技术交流，最全鸿蒙技术资料库，手册，指南，共建国产操作系统万物互联新生态。
Language:C 1270genodelabs / genode
Genode OS Framework
Language:C++ 1170SmallPond / MIT6.828_OS
MIT 6.828 Operating System Lab https://pdos.csail.mit.edu/6.828/2018/schedule.html
Language:C 1123- brutal
brutal-org / brutal
🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering
Language:C 1088 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.
Language:C++ 876- Language:Rust 785
- WingOS
Supercip971 / WingOS
a little 64bit microkernel based operating system written in c++ with smp support
Language:C++ 766 - Language:C 703
- Language:C 640
- k23
JonasKruckenberg / k23
Experimental WASM Microkernel Operating System
Language:Rust 583 - Language:C 556
udosteinberg / NOVA
NOVA Microhypervisor
Language:C++ 425sorpaas / rux
A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
Language:Rust 306IsaacWoods / poplar
Toy microkernel and userspace written in Rust, exploring modern ideas
Language:Rust 260- Language:C 247
Nils-TUD / Escape
Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
Language:C++ 200- diosix
diodesign / diosix
A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
Language:Rust 198 - kernel
lux-operating-system / kernel
Portable asynchronous microkernel with multiprocessor priority scheduling and Unix-like abstractions
Language:C 182 - Language:Rust 180
- Language:Rust 178
- mystikos
microsoft / mystikos
Tools and runtime for launching unmodified container images in Trusted Execution Environments
Language:C 150 phoenix-rtos / phoenix-rtos-kernel
Phoenix-RTOS microkernel repository
Language:C 148kernkonzept / fiasco
The development version of the L4Re Microkernel
Language:C++ 146- codezeroLanguage:C 112
pok-kernel / pok
POK kernel. Safe and secure for safety-critical systems.
Language:C 109fosd-project / FOSD
Framework of Operating System Development
Language:C++ 107V01D-NULL / MoonOS
MoonOS (just a kernel atm) is a micro kernel designed for the x86_64 and arm architecure.
Language:C 107The core components of the L4Re operating system.
Language:C++ 95EDI-Systems / M7M01_Eukaron
An microkernel focusing on hyperadaptability, hyperreusability, and hyperdeployability.
Language:C 90
