Do we need /EFI on the ISO file system?
The only use for the /EFI
directory on the ISO file system (read: ISO 9660, Rock Ridge, Joliet) is to allow copying files off it to a FAT formatted flash drive. It is not used for anything in the ISO at all.
UEFI booting uses the the files in the FAT file system inside efiboot.img
. El Torito points to the efiboot.img
file and the MBR has an entry for an EFI system partition on the coordinates of the efiboot.img
file.
Should we continue to support the use case of creating an installation medium using manual file copying?