Hi,
> And install kernels to /boot/efi in case /boot is not a
XBOOTLDR
> filesystem?
If /boot is not a XBOOTLDR, then we only have one file system which is
the ESP. It could be mounted on /boot or on /efi or maybe even /boot/efi (*).
The kernels would then go to /boot/EFI/Linux, /efi/EFI/Linux, or /boot/efi/EFI/Linux,
respectively. (When you write /boot/efi, it's not clear what exactly you
mean. The duplication of "efi" and "EFI" on on case-insensitive
system
is confusing.)
I meant ESP mounted at /boot/efi (and therefore UKIs in /boot/efi/EFI/Linux).
(*) This is actually something that'd need to be figure out.
/boot/efi is the worst choice; either /boot or /efi would be OK,
but something needs to be chosen.
/boot/efi is clearly not ideal for a number of reasons, but this is what
we have today and changing this opens up another can of worms. For
starters this will stop working:
# rpm -ql shim-x64
/boot/efi/EFI/BOOT/BOOTX64.EFI
/boot/efi/EFI/BOOT/fbx64.efi
/boot/efi/EFI/fedora/BOOTX64.CSV
[ ... ]
If we are going to change this the only option which makes sense to me
is to go for the systemd default: ESP (if present) mounted at /efi,
XBOOTLDR (if present) mounted at /boot.
take care,
Gerd