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