[17:00] <stgraber> cjwatson: hey, so I was wondering (because I had to install a bunch of machines this weekend), is there any reason why our mini.iso aren't UEFI-ready?
[17:00] <stgraber> I ended up building my own by copying EFI/ and boot/ from the server image with the kernel and initrd from mini.iso which worked fine, but we probably should have a proper image for 14.04
[17:02] <cjwatson> Er, they should be
[17:03] <cjwatson> They're probably not signed because that extra round-trip would be pretty painful to arrange in this case, but they should have perfectly functional unsigned UEFI support
[17:04] <stgraber> they sure don't
[17:06] <cjwatson> $ isoinfo -lR -i /mirror/ubuntu/dists/trusty/main/installer-amd64/current/images/netboot/mini.iso | grep efi.img
[17:07] <cjwatson> -r--r--r--   1    0    0         2392064 Feb  7 2014 [     75 00]  efi.img
[17:07] <cjwatson> and dumpet thinks it has an EFI El Torito entry
[17:07] <cjwatson> so if it's not working it's definitely in the category of bug rather than missing feature ...
[17:10] <stgraber> hmm, interesting, I wonder why that didn't work then. Maybe the firmware was confused due to it being on a usb stick, will have to try that again...
[17:12] <stgraber> I guess I also got confused due to it using efi.img + El Torito rather than plain EFI/ + boot/ as we do on the server images