On Sun, Nov 30, 2014 at 8:48 PM, Teemu Ikonen <tpiko...@gmail.com> wrote: > I made a USB stick with 32-bit EFI grub and kernel and initrd copied from > amd64 > netboot ISO. Grub naturally works ok, and interestingly, even the kernel boots > but it does not find a working init.
Ah, of course I mixed the kernel from amd64 and init from i386. With the correct combination (both from amd64 mini.iso) and 32-bit EFI grub the 64-bit installer starts fine. Sorry for the noise, Teemu -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org