1 Repo
Modular microkernel architectures implemented in Rust focusing on isolation and minimal core services.
Distinct from Microkernel Rust Runtimes: Candidates focus on runtimes or specific apps on microkernels, not the implementation of the microkernel itself.
Explore 1 awesome GitHub repository matching operating systems & systems programming · Rust-Based Microkernels. Refine with filters or upvote what's useful.
rCore is a Rust-based operating system kernel and microkernel designed for Linux compatibility. It functions as a self-hosted development kit that implements a system call interface to support the execution of standard Linux userspace applications. The system is designed for modularity, featuring a mechanism for loading and integrating kernel modules into the active environment without requiring a system reboot. The kernel provides core operating system capabilities, including virtual memory mapping for process isolation, a disk-based file system for data persistence, and a layered network p
Provides a modular system core using Rust to manage memory allocation, process isolation, and asynchronous IO.