Pretty sure this predates CONFIG_EFI_MIXED, so it's predicated on creating 32-bit EFI GRUB *and* 32-bit OS which makes it easier to create dedicated media that boots properly. Easier being relative, of course. http://askubuntu.com/questions/392719/32-bit-uefi-boot-support/715843#715843 At least on Fedora, 32-bit kernel support is about to go away, although I don't know if that's a done deal for Fedora 26 or 27, but it is imminent. Ergo I don't know if putting a huge amount of investment in a 32-bit Mac only spin makes a lot of sense. -- Chris Murphy _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx
