Comment 14 for bug 1341944

Revision history for this message
ClairelyClaire (clairelyclaire) wrote :

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.