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 (vitaly(a)easycoding.org)