Package: cdimage.debian.org Apologies if this is the wrong package.
I'm using the jessie rc1 amd64 mini.iso and the EFI partition doesn't seem to have anything in it. It should have efi/boot/boot<arch>.efi for EFI firmware to load properly. It also doesn't seem to exist in the i386 image either.
I'm using a Minnowboard MAX to test the image via USB booting. -- Jack Truong IT Specialist @ Engineering Computing University of Waterloo (PHY-3019 x35147) http://jacktruong.net/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org