The x86_64 UEFI bootloader for rCore - View it on GitHub