GitHub repository: lkmodel/arceos
Primary language: C
Description: An experimental modular OS written in Rust.