GitHub repository: rurumuri/rCore
Primary language: Rust
Description: a (toy) OS kernel based on rCore-Tuotorial