On 20/12/2022 19:56, Chris Murphy wrote:
Great. The gotcha though is this in effect requires a change in the file system currently mounted at /boot, which is ext4. And ext4 isn't supported by sd-boot or UEFI firmware. So if you're going to support sd-boot, the installer needs to be aware that either the ESP is big enough to be used as /boot, or if it's not big enough then it will be mounted on /efi*and* a new partition XBOOTLDR formatted as FAT will be used as /boot.
Nobody should use FAT for /boot. efifs[1] should be used instead. systemd-boot can load these drivers from ESP out of the box[2]. [1]: https://github.com/pbatard/efifs [2]: https://github.com/systemd/systemd/issues/15617 -- Sincerely, Vitaly Zaitsev (vit...@easycoding.org) _______________________________________________ devel mailing list -- devel@lists.fedoraproject.org To unsubscribe send an email to devel-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/devel@lists.fedoraproject.org Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue
