> On Sep 29, 2023, at 12:58, Michael Brown <mc...@ipxe.org> wrote: > > 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)... :)
I’m perfectly happy with any blame cast on Linux and EDK II, preferably both. :) Seems like this is my lucky day… > > // > // 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? At this point I’m never sure whether to fix EDK II or fix the spec… I wouldn’t make any sudden moves without checking OS behaviours. Best regards, Marvin > > Thanks, > > Michael > -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#109195): https://edk2.groups.io/g/devel/message/109195 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] -=-=-=-=-=-=-=-=-=-=-=-