[syslinux] Is efiboot.img required?

[piranna at gmail.com]

> None of the ISOs i know has this stuff in the FAT image.
> There must be some way for GRUB/GRUB2 to escape from FAT
> into the ISO.
> debian-7.7.0-amd64-netinst.iso does the job by a
> bootx64.efi binary of 421888 bytes. It's the only file
> in the FAT (of 458752 bytes).

I'll try to use it to see if it works.


> It might be a workaround for ISOLINUX to bring ISOLINUX
> configuration and a minimal Linux into the FAT which is
> then able to start the desired operating system from
> the ISO.

That's just what I did :-) Didn't though about any other alternative...


>> but that's sub-optimal since I need to have them in two places.
>
> Especially since the size of an El Torito boot image
> is restricted to 32 MiB (65536 x 512 bytes).

That's no problem here, it's under 16MiB.


> In any case there is no other boot path specified than
> to look up /efi/boot/bootx64.efi in the FAT filesystem
> and to execute it.

Should I rename syslinux.efi to that one?


-- 
"Si quieres viajar alrededor del mundo y ser invitado a hablar en un
monton de sitios diferentes, simplemente escribe un sistema operativo
Unix."
– Linus Tordvals, creador del sistema operativo Linux