On Fri, 12 Sept 2025 at 17:21, Neal Gompa <[email protected]> wrote: > > On Fri, Sep 12, 2025 at 6:14 PM Peter Robinson via arm > <[email protected]> wrote: > > > > > > > > It boots just fine with UEFI v1.42 on a SD/Fedora on the same USB key... > > > > What does that mean? UEFI is a boot interface, U-Boot boots Fedora > > using UEFI. Do you mean some random build of EDK2? > > > > This is referring to the RPi UEFI firmware (as opposed to U-Boot). > https://github.com/pftf/RPi4/releases/tag/v1.42
So EDK2 -- _______________________________________________ arm mailing list -- [email protected] To unsubscribe send an email to [email protected] Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/[email protected] Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue
