Le 10/01/2019 à 22:02, Jonathan Dowland a écrit :
I think EFI also mandates the layout of the filesystem to the extent that one could not simply use /boot as the EFI partition, formatted as FAT32, but I'm not entirely sure.
/boot can be the EFI partition in the systemd boot specification. <https://systemd.io/BOOT_LOADER_SPECIFICATION>But is may disrupt Debian kernel updates because FAT does not support hard links.