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