A secure and high performances microkernel for building secure MCU-based...
The core components of the L4Re operating system.
Simple GUI based Operating System - Based upon my own Microcokernel, hea...
Yet another cross-platform microkernel operating system, runs on x86/x86...
🦠µnix is a UNIX-like operating system
Mcube Kernel: Operating System Supporting Dynamically Switchable Kernel ...
A modern x86_64 UNIX-like microkernel-based operating system
Abandoned overcomplicated Microkernel using modern x86_64 features
Hobby operating system for amd64 with high ambitions - mirror
My hobby operating system microkernel written in Rust
✨ a microkernel in Rust
A proof-of-concept using WASM runtime as a kernel
Use Symfony as a microframework.
Rust implementation of Xinu educational operating system
kaneton is an educational microkernel that has been used for teaching pu...