GitHub repository: rcore-os/rCore
Primary language: Rust
Description: Rust version of THU uCore OS. Linux compatible.