So I retract my previous statement and assert the opposite.
FAT32 is what you absolutely should use.
Surprisingly, my EFI doesn’t cause any problems booting, but various Linux scripts go haywire when the EFI partition is exFAT.
install-grubthrows at least a warning message.refind-installrefuses to run at all./boot/efi/efi/toolsis not created.
- I backed up the contents of
/boot/efi, - unmounted and reformatted the partition with
gpartedto fat32 - entered the new UUID in
/etc/fstab, systemctl daemon-reload- mounted /boot/efi
- restored the data to
/boot/efi, - entered the new UUID in
/etc/fstab, install-grub(no warning any more)refind-install(works now)- and ran
mkinitcpio -P
