[edk2-devel] efi and ext4 and case sensitive file names
Marvin Häuser
mhaeuser at posteo.de
Fri Sep 29 11:01:10 UTC 2023
> On Sep 29, 2023, at 12:58, Michael Brown <mcb30 at 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/1813853
Group Owner: devel+owner at edk2.groups.io
Unsubscribe: https://edk2.groups.io/g/devel/unsub [edk2-devel-archive at redhat.com]
-=-=-=-=-=-=-=-=-=-=-=-
More information about the edk2-devel-archive
mailing list