Rustbelt: a hobby x86_64 kernel written in Rust
f689a14d102d6273fce5f7a8c0219ef2dc03462e
1
Notes from the 2026 trip, two directories down.