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