GitHub repository: wangrunji0408/rust-rv64-kernel
Primary language: Rust
Description: A minimal RISCV64 kernel in Rust with OpenSBI.