4 Repositories
Rust microkernel Libraries
A lightweight microkernel/IPC based operating system built with Rust which is not a clone of any existing operating system
Noble Operating System Noble is a lightweight microkernel and IPC based operating system built with Rust which is not a clone of any existing operatin
3 Jan 10, 2022
An open-source reimplementation of the Horizon microkernel used in the Nintendo Switch.
Saturnus An open-source reimplementation of the modern RTOS microkernel "HorizonKernel" that is used in the Nintendo Switch. About The original Horizo
41 Sep 5, 2022
Mirror of https://gitlab.redox-os.org/redox-os/redox
Redox is an operating system written in Rust, a language with focus on safety and high performance. Redox, following the microkernel design, aims to b
14.3k Jan 3, 2023
(Going to be) A microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
Read this (from the creator of Nebulet) Hi everyone, It's been a while since I've looked at this repository. Nebulet is not in active development, and
2.3k Dec 15, 2022