GitHub repository: Berrysoft/rCore
Description: Rust version of THU uCore OS. Linux compatible.