microkernel topic
codezero
Codezero Microkernel
M7M01_Eukaron
An capability-based microkernel general-purpose operating system focusing on scalability, predictability, mixed-criticality and recoverability. THIS PROJECT IS IN PREVIEW STATE CURRENTLY
poplar
Microkernel and userspace written in Rust exploring modern ideas
rxinu
Rust implementation of Xinu educational operating system
Escape
Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
MIT6.828_OS
MIT 6.828 Operating System Lab https://pdos.csail.mit.edu/6.828/2018/schedule.html
brutal
🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering
ghost
Ghost, a micro-kernel based hobby operating system.
redox
Mirror of https://gitlab.redox-os.org/redox-os/redox
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.