Rustbelt: a hobby x86_64 kernel written in Rust
stage15
1 2 3 4 5
ver echo hi over hvc0 random -d 20 3 ls /dev exit 0