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