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