microkernel
There are 51 repositories under microkernel topic.
- Language:Shell 15546
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 11408- Language:C 4879
nebulet / nebulet
A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
Language:Rust 2349- Language:C++ 1762
- Language:Rust 1751
- Language:C 1498
genodelabs / genode
Genode OS Framework
Language:C++ 1147SmallPond / MIT6.828_OS
MIT 6.828 Operating System Lab https://pdos.csail.mit.edu/6.828/2018/schedule.html
Language:C 1112fenwii / OpenHarmony
华为鸿蒙分布式操作系统（Huawei HarmonyOS，纯血鸿蒙Harmony Next ），开源鸿蒙分布式操作系统（ OpenHarmony）开发技术交流，最全鸿蒙技术资料库，手册，指南，共建国产操作系统万物互联新生态。
Language:C 1105- 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 1076 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++ 871- Language:Rust 691
- Language:C 688
- Language:C 637
- Language:C 543
- k23
JonasKruckenberg / k23
Experimental WASM Microkernel Operating System
Language:Rust 537 udosteinberg / NOVA
NOVA Microhypervisor
Language:C++ 392sorpaas / rux
A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
Language:Rust 302IsaacWoods / poplar
Microkernel and userspace written in Rust exploring modern ideas
Language:Rust 256- Language:C 210
Nils-TUD / Escape
Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
Language:C++ 199- diosix
diodesign / diosix
A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
Language:Rust 194 - kernel
lux-operating-system / kernel
Portable asynchronous microkernel with multiprocessor priority scheduling and Unix-like abstractions
Language:C 172 - Language:Rust 164
- Language:Rust 155
- mystikos
deislabs / mystikos
Tools and runtime for launching unmodified container images in Trusted Execution Environments
Language:C 146 phoenix-rtos / phoenix-rtos-kernel
Phoenix-RTOS microkernel repository
Language:C 134kernkonzept / fiasco
The development version of the L4Re Microkernel
Language:C++ 119- codezeroLanguage:C 107
fosd-project / FOSD
Framework of Operating System Development
Language:C++ 106V01D-NULL / MoonOS
MoonOS (just a kernel atm) is a micro kernel designed for the x86_64 and arm architecure.
Language:C 105pok-kernel / pok
POK kernel. Safe and secure for safety-critical systems.
Language:C 99- fpos
rezgui / fpos
Free Pascal Operating System (FPOS) is a operating system consists of a minimal kernel built on FreePascal. It contains a Scheme implementation of a hard drive (ATA) driver, keyboard (PS2), serial (8250 UART), FAT32 filesystem and a small real time clock manager. The project was built to experiment with developement of operating system using a high level functional language to study the developement process and the use of Scheme to build a fairly complex system.
Language:Pascal 87 EDI-Systems / M7M01_Eukaron
An microkernel focusing on hyperadaptability, hyperreusability, and hyperdeployability.
Language:C 86The core components of the L4Re operating system.
Language:C++ 85
