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