On Fri, Sep 12, 2025 at 6:14 PM Peter Robinson via arm <arm@lists.fedoraproject.org> 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 -- 真実はいつも一つ！/ Always, there's only one truth! -- _______________________________________________ arm mailing list -- arm@lists.fedoraproject.org To unsubscribe send an email to arm-le...@lists.fedoraproject.org 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/arm@lists.fedoraproject.org Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue
