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