Hi >>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. :-/ > Unless I did something wrong in the partitioning setup, there were no other operating systems. The only other EFI entry I had created in the firmware setup manually was one for the USB drive.
What do you mean by removable device in this case? /boot/EFI is on the same NVMe drive as the Debian install itself. Thanks, Adam
