On Sun, Nov 28, 2021 at 02:24:06PM +0100, Pascal Hambourg wrote: >Hello, > >Le 28/11/2021 à 12:28, Adam Baxter a écrit : >> >> Comments/Problems: >> Once the installer had finished and prompted me to reboot, the system came >> back up in Dell's hardware check mode and >> some investigation revealed there was no UEFI boot entry for Debian. > >Some UEFI firmwares are broken and do not handle EFI boot entries properly.
I'm guessing this is similar to the firware bug we've seen before in https://bugs.debian.org/905319 , in fact. >> /boot/efi >> └── EFI >> ├── debian >> │ ├── BOOTX64.CSV >> │ ├── fbx64.efi >> │ ├── grub.cfg >> │ ├── grubx64.efi >> │ ├── mmx64.efi >> │ └── shimx64.efi > >At least GRUB itself was installed in the EFI partition. > >> Shouldn't there normally be EFI/boot/bootx64.efi? > >Not by default. It happens only if you choose to install a copy of the boot >loader in the removable device path. The option is available only in expert >install or after changing priority for questions to low. Agreed. We deliberately do *not* install there by default as this can cause other OSes not to boot. We try to be more accommodating than Windows etc. :-/ Adam: if you boot the installer again in rescue mode, there is an automated way to install to the removable media path, and that's probably the easiest way to do this. The system will remember that you need to do this in future and also install there on any further grub package updates. -- Steve McIntyre, Cambridge, UK. st...@einval.com Welcome my son, welcome to the machine.