On December 7, 2025 11:01:37 PM GMT+01:00, "Sébastien Gendre" <[email protected]>
wrote:
>Rutherther <[email protected]> writes:
>
>> In that case at least try efibootmgr, looking through the entries you have
>> and verifying that they do point to the correct partition, ie. I see
>> Boot0001* Guix
>> HD(1,GPT,4397f244-7138-49ba-aa26-6e20e3f27090,0x800,0x3d0000)/\EFI\Guix\grubx64.efi
>> and /dev/disk/by-partuuid/4397f244-7138-49ba-aa26-6e20e3f27090 points to
>> my boot partition.
>
>
>I have no entry for Guix. At the list of entries, there is no boot order
>Boot0001. The entry with the lowest order is Boot0010.
In that case the entry should be taken from the esp, as long as you are
actually booting to it and not to some other, no longer valid entry.
Since there is no entry, I am out of ideas on what it could be, especially
since you can boot fine with chainloading. Well you can try defining an entry
and making it the default, but I now have doubts it would change anything. On
the other hand it is strange you do not have an entry pointing to guix grub
efi. It is supposed to be created during installation.
Rutherther
