efibootmgr
I used 1vyrain on the t430 mostly to see if it would work. It unlocked a bunch of stuff in the advanced menu of the UEFI bios and it made it possible to disable the intel management engine (at the cost of adding 5 seconds of boot time). That part was fine.
What was less fine is that in resetting the UEFI/BIOS settings it also forgot how to boot Guix.
To recover I needed to boot the system in an environment where I could run efibootmgr. I still had the installer for Guix handy, so I ran that and progressed far enough to connect to Wifi and then switched to a different virtual terminal. From there I mounted the boot partition so I could see the path I'd need to add to the boot menu. I had mounted it to /mnt and from thee I saw T383838EFI/Guix/grubx64.efi as the path I would need.
This is from memory, but I think the command I entered was:
guix shell efibootmgr
efibootmgr -c -d /dev/sda -p 1 -L "Guix" -l "\EFI\Guix\grubx64.efi"
I'm not sure if the network connection was needed to fetch efibootmgr or not. Also, the new boot entry was set to the default after it was added.
Tags: guix
Tags
Navigation