rust-kernel
Rustbelt: a hobby x86_64 kernel written in Rust
1 2 3 | Hello from the FAT32 disk! This file lives on a virtio-blk disk, in a GPT
partition, in a FAT32 file system -- read through the kernel's VFS.
In the Rustbelt shell this disk is drive B: -- try `cd B:` and `ls`.
|