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