That's what we've been saying since this ticket - and others like it - was filed.
It is *confirmed* to be possible to install a 32-bit UEFI GRUB and install and boot a 64-bit kernel. It's been done multiple times, right now by manually compiling and using a 32-bit UEFI GRUB bootloader. I can't speak to the technical reasons *why* it works, but it absolutely, positively, definitely does work. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1341944 Title: 32-Bit UEFI bootloader support needed To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1341944/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
