A teaching operating system written in Rust
A secure embedded operating system for microcontrollers
Experimental WASM Microkernel Operating System
A Rust-based, lightweight unikernel
Open-source Agent Operating System
Like grep but for natural language questions
The kernel for LibertyOS
Experimental operating system written in Rust
A new operating system kernel with Linux binary compatibility
Let's write an OS which can run on RISC-V in Rust from scratch