58 Open Source Microkernel Software Projects
Free and open source microkernel code projects including engines, APIs, generators, and tools.
Patrick Lafferty Saturn18 ⭐
A microkernel based operating system developed from scratch. This repository also includes all Saturn services and applications.
A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
An capability-based microkernel general-purpose operating system focusing on scalability, predictability, mixed-criticality and recoverability. THIS PROJECT IS IN PREVIEW STATE CURRENTLY
Salvois Kernel23 ⭐
My ongoing experimentation on operating system internals, aiming at providing a kernel to the FreeDOS-32 project.
kaneton is an educational microkernel that has been used for teaching purposes for over 8 years.
Docker Minix22 ⭐
QEMU-based Docker image for Minix 3, based on the official CD-ROM ISO image installation from the Minix website
Thesis Documentation Fuchsia15 ⭐
Notes and the actual elaboration for my master's thesis on different operating system approaches.
Multizone Sdk51 ⭐
MultiZone® Security TEE is the quick and safe way to add security and separation to any RISC-V processors. The RISC-V standard ISA doesn't define TrustZone-like primitives to provide hardware separation. To shield critical functionality from untrusted third-party components, MultiZone provides hardware-enforced, software-defined separation of multiple equally secure worlds. Unlike antiquated hypervisor-like solutions, MultiZone is self-contained, presents an extremely small attack surface, and it is policy driven, meaning that no coding is required – and in fact even allowed. MultiZone works with any 32-bit or 64-bit RISC-V processors with standard Physical Memory Protection unit (PMP) and “U” mode.
Simple GUI based Operating System - Based upon my own Microcokernel, heavily inspired by the original 1980s AmigaOS (though somewhat simpler).
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.
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.
Tools and runtime for launching unmodified container images in Trusted Execution Environments
MoonOS (just a kernel atm) is a micro kernel designed for the x86 architecure supporting 64 bit processors only
Brutal Org Brutal485 ⭐
🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering
Sorpaas Rux246 ⭐
A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
Nils Tud Escape164 ⭐
Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.