Hello Guix,
I had an issue yesterday. After 'guix system reconfigure' I couldn't
boot, because there is no a menu entry in UEFI boot menu.
So, I solved this by following Gentoo wiki article¹.
Boot with LiveUSB XUbuntu 16.04. Any distribution that could boot via
UEFI and provides efibootmgr app will work.
Create new boot menu entry:
# efibootmgr -c -d /dev/sda -p 1 -L "GuixSD" -l "\EFI\boot\grubx64.efi"
Check created boot menu entry:
# efibootmgr -v
I have a little question.
Does GuixSD overwrite this boot entry with efibootmgr or similar every
'guix system reconfigure'?
¹ https://wiki.gentoo.org/wiki/Efibootmgr
Thanks,
Oleg.