rBoot The x86_64 UEFI bootloader for rCore OS. rustc info current rustc -- rustc 1.56.0-nightly (08095fc1f 2021-07-26) current rust-toolchain -- nightly