> > > > And main argument: I'm aware of one example when "EFI" is hard-coded in > signed secure boot GRUB binary. Debian has 4 signed GRUB binaries. All they > are generated here: > https://sources.debian.org/src/grub2/2.12-5/debian/build-efi-images/ . > One of them, grubx64.efi is created using "grub-mkimage ... -p /EFI/debian".
Why do they use /EFI if it doesn't even work? The question is who needs to change this.
_______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
