On 29/09/2023 10:47, Marvin Häuser wrote:
Maybe when Linux starts adhering the spec for file names (the spec clearly defines e.g. BOOTx64.EFI, while at least some distros/images use bootx64.efi), this can be discussed. :) Let's not break various GRUB setups...
Seems slightly unfair to blame Linux when EDK2 also apparently gets it wrong (in a different way)... :)
// // EFI File location to boot from on removable media devices // ... #define EFI_REMOVABLE_MEDIA_FILE_NAME_X64 L"\\EFI\\BOOT\\BOOTX64.EFI" Is this something worth fixing in UefiSpec.h? Thanks, Michael -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#109194): https://edk2.groups.io/g/devel/message/109194 Mute This Topic: https://groups.io/mt/101615699/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
