Quote:
Originally Posted by Head_on_a_Stick
The only caveat here is that some defective UEFI implementations will boot $ESP/EFI/BOOT/BOOTX64.EFI automatically even if Debian's GRUB creates NVRAM entries instructing the motherboard to do otherwise, in that case moving BOOTX64.EFI will be necessary to load GRUB's menu.
|
On my install Debian produced a $ESP/EFI/BOOT/bootx64.efi. I had read that EFI partitions were msdos and I was concerned that bootx64.efi would not be distinguished from BOOTX64.EFI. Hence I renamed it and placed it in a location specified in 40_custom. This was in part based on a post in the OpenBSD mailing list where BOOTX64.EFI was renamed.
Debian 10 is rolling out a secure boot that needs the linux boot kernel placed in /boot. I have not ventured into this as far as secure Dual booting with OpenBSD.
https://wiki.debian.org/SecureBoot
https://wiki.debian.org/SecureBoot/Discussion