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