Writing a “Hello World” Riscv Kernel with Nix in Rust (justin.restivo.me)