I have found the solution here: https://felsoci.sk/blog/facing-issues-while-installing-guix.html
It's a blog post from Marek Felsoci. I followed the instruction from the section "No bootable devices found": In the "EFI/" directory of the boot partition, I created a "boot" directory next to the "Guix" directory. Then, I copy the file "EFI/Guix/grubx64.efi" to "EFI/boot/bootx64.efi". Now, I can reboot and it work. I checked on another installation of Fedora and it create a "EFI/BOOT/" directory on the boot partition. This directory contains 4 files: "BOOTIA32.EFI", "BOOTX64.EFI", "fbia32.efi" and "fbx64.efi". The blog post tell that Ubuntu and Windows do the same. I think it would be better if Guix System install a copy of the Grub EFI file as "EFI/boot/bootx64.efi" or "EFI/BOOT/BOOTX64.efi" like Fedora, Ubuntu and Windows do. It would permit Guix System to boot on bad EFI implementation. I will open a bug report soon about this. Thank you Rutherther for helping me on this problem, and Marek Felsoci for your blog post. Best regards ------- Gendre Sébastien
signature.asc
Description: PGP signature
