Rustbelt: a hobby x86_64 kernel written in Rust
176e770e4a2ec63a4e05a273a139907cc241fb0d
Binary file, not shown. Use the raw link to download it.
