On Tue, 2015-01-27 at 09:15 +0100, Cyril Brulebois wrote: > I've just grabbed mini.iso in both (respectively used for Beta 2 and RC > 1), and both seem to have efi bits inside (at least according to a loop > mount).
Not speaking of boot<arch>.efi but -- there was no useful grub.cfg on the x86 mini.iso until the 20150107 release (see #762618). So 20150107 is certainly necessary for a useful EFI boot from mini.iso and everything was present and correct when I was looking at #762618. It's possible I suppose that the lack of grub.cfg might look a bit like a lack of boot<arch>.efi under some circumstances. > I don't know much about EFI Partition etc. therefore I'm not > sure how they're related to an ISO9660 image. :/ (Feel free to skip this bit if you don't care about the details!) The EFI System Partition (ESP) is on the ISO as /boot/grub/efi.img, which is a file with a suitable FAT partition for EFI to read (it's also referenced by various ISO headers, el-torito/*mumble* etc). AFAICT the beta release (20141002) had everything needed apart from the grub.cfg: $ wget http://ftp.fr.debian.org/debian/dists/testing/main/installer-amd64/20141002/images/netboot/mini.iso $ isoinfo -i mini.iso -RJ -x /boot/grub/efi.img > efi.img $ mdir -i efi.img ::efi/boot Volume in drive : has no label Volume Serial Number is FF65-0EDB Directory for ::/efi/boot . <DIR> 2014-09-27 0:08 .. <DIR> 2014-09-27 0:08 bootx64 efi 392192 2014-09-27 0:08 3 files 392 192 bytes 10 240 bytes free $ The remainder of the grub bits are then on the ISO (outside the ESP) in /boot/grub/..., except as noted, that the grub.cfg in 20141002 was empty. $ isoinfo -i mini.iso -fRJ | grep /boot/grub /boot/grub /boot/grub/efi.img /boot/grub/font.pf2 /boot/grub/grub.cfg /boot/grub/x86_64-efi /boot/grub/x86_64-efi/acpi.mod [...lots more...] > It'd be nice to start by telling us the full URL to the mini.iso you > downloaded. Yes, please. Ian. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/[email protected]
