GitHub repository: rcore-os/arceos
Primary language: Rust
Description: An experimental modular OS written in Rust.