Hi Sébastien.
Your config looks correct. So I am wondering if you're actually booting the correct EFI target. Could you verify that the partition on the disk you have is actually marked as boot partition? See output of `parted /dev/<your-disk> print`, you should see a line such as ``` Number Start End Size File system Name Flags 1 1049kB 2048MB 2047MB fat32 primary boot, esp ``` If it wasn't, mark it as esp / boot. (it's the same thing for gpt, at least from standpoint of `parted`) Next thing, did you do the installation of Guix System only once, or did something happen and you had to do it twice? If that was the case it would definitely be possible that you're booting an old efi target that no longer exists. Lastly, could you try booting into EFI shell, trying to find the partition, probably `FS0:` and booting off of that, ie. ``` FS0: \EFI\Guix\grubx64.efi ``` (You can always use Tab to finish parts of the path in case I got it wrong.) Regards Rutherther
