Lenovo ThinkCentre: 1962 No Operating System Found

[Caleb Herbert]

Greetings,

I just installed Guix and the installed system won't boot.

I've looked for solutions to this issue online. Some people recommend 
just turning on/off CSM in the UEFI settings. Others suggest using 
efibootmgr to create a new entry for the OS. I've done both, and have 
had no luck.

Also, it would be nice if Guix System had efibootmgr. I had to boot 
another distro to get it.

Notice how the Fedora entry (which works) looks the same as the Guix 
entry, and how I tried pointing it to the right EFI file: 
/dev/sda1:/EFI/Guix/grubx64.efi. Nevertheless, Guix does not boot.

I installed Guix using the wizard. I used disk encryption.

I also tried booting the installed system manually, from the installer's 
copy of GRUB (pressing "c" before the system boots). When I did 
"cryptomount -a" at the GRUB prompt, no password prompt was given. It 
just said "unknown filesystem" and I could not access the encrypted 
partition. The EFI partition was accessible, but there was no kernel to 
point to, so I could not boot the system by typing in GRUB commands.

I hope this has been enough information. Please tell me if there is 
anything else I can do to help.

Good night.

[liveuser@localhost-live ~]$ efibootmgr
BootCurrent: 0002
Timeout: 1 seconds
BootOrder: 0002,0003,0004,0005,0001,0000
Boot0000* Guix  VenHw(99e275e7-75a0-4b37-a2e6-c5385e6c00cb)
Boot0001* Fedora        VenHw(99e275e7-75a0-4b37-a2e6-c5385e6c00cb)
Boot0002* PLDS DVD-RW DH16ACSH  BBS(CDROM,,0x0)AMBO
Boot0003* ST31000524AS  BBS(HD,,0x0)AMBO
Boot0004* Lexar USB Flash Drive 8.07    BBS(HD,,0x0)AMBO
Boot0005* UEFI: Lexar USB Flash Drive 8.07      
PciRoot(0x0)/Pci(0x1d,0x0)/USB(1,0)/USB(2,0)/HD(2,GPT,596bfe18-6cfc-4880-ba96-298703c7c362,0x3e31d0,0x5d24)AMBO
[liveuser@localhost-live ~]$

[liveuser@localhost-live ~]$ efibootmgr -v
BootCurrent: 0002
Timeout: 1 seconds
BootOrder: 0002,0003,0004,0005,0001,0000
Boot0000* Guix  VenHw(99e275e7-75a0-4b37-a2e6-c5385e6c00cb)
      dp: 01 04 14 00 e7 75 e2 99 a0 75 37 4b a2 e6 c5 38 5e 6c 00 cb / 7f ff 
04 00
Boot0001* Fedora        VenHw(99e275e7-75a0-4b37-a2e6-c5385e6c00cb)
      dp: 01 04 14 00 e7 75 e2 99 a0 75 37 4b a2 e6 c5 38 5e 6c 00 cb / 7f ff 
04 00
Boot0002* PLDS DVD-RW DH16ACSH  BBS(CDROM,,0x0)AMBO
      dp: 05 01 09 00 03 00 00 00 00 / 7f ff 04 00
    data: 41 4d 42 4f
Boot0003* ST31000524AS  BBS(HD,,0x0)AMBO
      dp: 05 01 09 00 02 00 00 00 00 / 7f ff 04 00
    data: 41 4d 42 4f
Boot0004* Lexar USB Flash Drive 8.07    BBS(HD,,0x0)AMBO
      dp: 05 01 09 00 02 00 00 00 00 / 7f ff 04 00
    data: 41 4d 42 4f
Boot0005* UEFI: Lexar USB Flash Drive 8.07      
PciRoot(0x0)/Pci(0x1d,0x0)/USB(1,0)/USB(2,0)/HD(2,GPT,596bfe18-6cfc-4880-ba96-298703c7c362,0x3e31d0,0x5d24)AMBO
      dp: 02 01 0c 00 d0 41 03 0a 00 00 00 00 / 01 01 06 00 00 1d / 03 05 06 00 
01 00 / 03 05 06 00 02 00 / 04 01 2a 00 02 00 00 00 d0 31 3e 00 00 00 00 00 24 
5d 00 00 00 00 00 00 18 fe 6b 59 fc 6c 80 48 ba 96 29 87 03 c7 c3 62 02 02 / 7f 
ff 04 00
    data: 41 4d 42 4f
[liveuser@localhost-live ~]$

[liveuser@localhost-live ~]$ sudo mount /dev/sda1 /mnt
[liveuser@localhost-live ~]$ ls /mnt
EFI
[liveuser@localhost-live ~]$ tree /mnt
/mnt
└── EFI
    └── Guix
        └── grubx64.efi

3 directories, 1 file
[liveuser@localhost-live ~]$

[liveuser@localhost-live ~]$ sudo efibootmgr -Bb 0000
BootCurrent: 0002
Timeout: 1 seconds
BootOrder: 0002,0003,0004,0005,0001
Boot0001* Fedora        VenHw(99e275e7-75a0-4b37-a2e6-c5385e6c00cb)
Boot0002* PLDS DVD-RW DH16ACSH  BBS(CDROM,,0x0)AMBO
Boot0003* ST31000524AS  BBS(HD,,0x0)AMBO
Boot0004* Lexar USB Flash Drive 8.07    BBS(HD,,0x0)AMBO
Boot0005* UEFI: Lexar USB Flash Drive 8.07      
PciRoot(0x0)/Pci(0x1d,0x0)/USB(1,0)/USB(2,0)/HD(2,GPT,596bfe18-6cfc-4880-ba96-298703c7c362,0x3e31d0,0x5d24)AMBO
[liveuser@localhost-live ~]$ sudo efibootmgr -c -d /dev/sda1 -p 1 -L "Guix" -l 
"\EFI\Guix\grubx64.efi"
BootCurrent: 0002
Timeout: 1 seconds
BootOrder: 0000,0002,0003,0004,0005,0001
Boot0001* Fedora        VenHw(99e275e7-75a0-4b37-a2e6-c5385e6c00cb)
Boot0002* PLDS DVD-RW DH16ACSH  BBS(CDROM,,0x0)AMBO
Boot0003* ST31000524AS  BBS(HD,,0x0)AMBO
Boot0004* Lexar USB Flash Drive 8.07    BBS(HD,,0x0)AMBO
Boot0005* UEFI: Lexar USB Flash Drive 8.07      
PciRoot(0x0)/Pci(0x1d,0x0)/USB(1,0)/USB(2,0)/HD(2,GPT,596bfe18-6cfc-4880-ba96-298703c7c362,0x3e31d0,0x5d24)AMBO
Boot0000* Guix  
HD(1,GPT,ec237a79-478c-4c07-b1d2-cefdbcc56b02,0x800,0x12c000)/File(\EFI\Guix\grubx64.efi)
[liveuser@localhost-live ~]$