A Rust-based research microkernel operating system for RISC-V, focused on capability-based security, deterministic testing, and a Service-Plane userspace.
rust kernel ipc osdev operating-system riscv microkernel userspace risc-v systems-programming research-software capability-based-security experimental-os
-
Updated
Mar 16, 2026 - Rust