Re: [edk2-devel] efi and ext4 and case sensitive file names

["Marvin Häuser" <mhaeuser@posteo.de>]

> On Sep 29, 2023, at 12:58, Michael Brown <mcb30@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/7686176
Group Owner: devel+owner@edk2.groups.io
Unsubscribe: https://edk2.groups.io/g/devel/unsub [rebecca@openfw.io]
-=-=-=-=-=-=-=-=-=-=-=-