bug#40496: cannot install bootloader

[Arne Babenhauserheide <arne_bab@web.de>]

Marius Bakke <mbakke@fastmail.com> writes:

> Arne Babenhauserheide <arne_bab@web.de> writes:
>
>> Marius Bakke <mbakke@fastmail.com> writes:
>>
>>> I hope you are able to recover your system. If the problem is "just"
>>> that the boot entry is missing,
>>
>> Do you mean in grub?
>
> I mean in the firmware boot menu.  The way UEFI works is that
> bootloaders update the firmware directly with a name, EFI System
> Partition, and executable (most likely "/EFI/Guix/grubx64.efi").

Ah, I did not know that. Thank you!

>>> you should be able to create a new one
>>> with "efibootmgr --create" manually. Here is a typical entry with the
>>> EFI System Partition as the first partition of a disk:
>>>
>>> # efibootmgr -v
>>> BootCurrent: 0000
>>> Timeout: 1 seconds
>>> BootOrder: 0000,0002
>>> Boot0000* Guix  HD(1,GPT,32944052-6012-4cda-b270-fe653d430c84,0x800,0x4800)/File(\EFI\Guix\grubx64.efi)
>>
>> When I run efibootmgr -v, I get an error:
>> $ efibootmgr -v
>> EFI variables are not supported on this system.
>
> This also requires booting in "EFI mode" so that /sys/firmware/efi is
> present.  The live USB image supports EFI, but you may need to disable
> "legacy boot" to make it boot in EFI mode.

I’ll try that.

>>> 1 is the partition number, and the UUID is the same as 'lsblk -o
>>> PARTUUID /dev/sda1' assuming your disk is /dev/sda.  I don't remember
>>> what 0x800 and 0x4800 means, but don't think they are required.
>>
>> I get somewhat too little information from that:
>>
>> $ lsblk -O /dev/nvme1n1p1
>> NAME KNAME PATH MAJ:MIN FSAVAIL FSSIZE FSTYPE FSUSED FSUSE% MOUNTPOINT LABEL UUID PTUUID PTTYPE PARTTYPE PARTLABEL PARTUUID PARTFLAGS  RA RO RM HOTPLUG MODEL SERIAL  SIZE STATE OWNER GROUP MODE       ALIGNMENT MIN-IO OPT-IO PHY-SEC LOG-SEC ROTA SCHED RQ-SIZE TYPE DISC-ALN DISC-GRAN DISC-MAX DISC-ZERO WSAME WWN RAND PKNAME HCTL TRAN   SUBSYSTEMS REV VENDOR ZONED
>> nvme1n1p1
>>      nvme1n1p1
>>            /dev/nvme1n1p1
>>                 259:2     15,4G 884,9G        824,5G    93% /home                                                                     128  0  0       0               900G       root  disk  brw-rw----         0    512      0     512     512    0 none     1023 part        0      512B       2T         0    0B        0             nvme   block:nvme:pci
>
> You probably need to use "sudo" to read the PARTUUID.

Ah, yes, that works! Thank you!

> HTH,
> Marius


-- 
Unpolitisch sein
heißt politisch sein
ohne es zu merken