open nexus OS

All

2 repositories

open-nexus-OS
Public
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
rust kernel ipc osdev operating-system riscv microkernel userspace risc-v systems-programming
Rust
•
Apache License 2.0
•0•0•0•0•Updated Apr 16, 2026Apr 16, 2026
open-nexus
Public
TypeScript
•0•0•0•0•Updated Mar 13, 2026Mar 13, 2026

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.