Microkernel and userspace written in Rust exploring modern ideas
-
Updated
May 25, 2024 - Rust
A kernel is the heart of almost every operating system. It is always loaded in memory at any time and deals with the hardware to provide an interface for the software. It also manages peripherals, memory, interrupts, and processes. Examples of widely used kernels include Windows NT and Linux.
Microkernel and userspace written in Rust exploring modern ideas
Phoenix-RTOS microkernel repository
The core components of the L4Re operating system.
The development version of the L4Re Microkernel
RT-Thread is an open source IoT real-time operating system (RTOS).
Pragmatic microkernel-based OS with fully asynchronous I/O
MoonOS (just a kernel atm) is a micro kernel designed for the x86_64 and arm architecure.
A portable microkernel-based multiserver operating system written from scratch.
An capability-based microkernel general-purpose operating system focusing on scalability, predictability, mixed-criticality and recoverability. THIS PROJECT IS IN PREVIEW STATE CURRENTLY
Hobbyist ARM64 operating system /w microkernel design. Includes a kernel written in C and user land apps in C++.
NOVA Microhypervisor
NOVA Microhypervisor