FWIW, to address some comments: > This problem is Ubuntu-specific
It's not. It comes from https://github.com/rhboot/grub2/commit/1c88c700148acf02863a350055a43eb87e16bbe5 - which adds support for loading 64-bit kernels on 32-bit UEFIs. > For now, as a workaround, we're using bionic's grub, for example: https://github.com/alkisg/ltsp5-uefi/blob/master/ltsp5-uefi#L49 Why not use a 64-bit kernel? Should be a much better option. > This bug stops Android-x86 32 bits systems from booting in 64 bits machines. You can't boot them via Ubuntu's grub true, but then they probably have their own bootloader? -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1876737 Title: GRUB refuses to boot a 32-bit kernel when in EFI mode To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1876737/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
