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