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