[19:43] <alkisg> Hi, is the 32bit kernel supposed to be loadable under a 64bit UEFI environment? If so, from what version onwards?
[19:50] <mjg59> alkisg: No
[19:50] <mjg59> Oh wait
[19:51] <alkisg> mjg59: so http://cateee.net/lkddb/web-lkddb/EFI_STUB.html doesn't work under 32 bit?
[19:52] <alkisg> I do see the 32bit kernels having that wrapper from 3.4 and after...
[19:52] <alkisg> I'm just not sure if it's broken...
[19:52] <mjg59> So yeah that will work
[19:52] <mjg59> But not if you're just trying to boot it as an EFI executable
[19:52] <mjg59> 64-bit EFI can't run 32-bit EFI executables
[19:52] <mjg59> If you're using grub it *should* work
[19:52] <alkisg> Wait wait maybe that's why I was having issues
[19:52] <alkisg> I tried to load it from ipxe.efi (netbooting)
[19:53] <mjg59> Right that definitely won't work
[19:53] <alkisg> grub loads it as a bzimage?
[19:53] <mjg59> Yes
[19:53] <mjg59> But bear in mind that your firmware is free to put UEFI services above 4GB
[19:53] <alkisg> So why the wrapper? At which case it would work? (in 32 bit images)
[19:53] <mjg59> In which case a 32-bit kernel is never going to work
[19:53] <mjg59> The PE/COFF wrapper will work fine if you have 32-bit firmware
[19:53] <alkisg> Ah, got it
[19:54] <alkisg> (09:53:26 μμ) mjg59: But bear in mind that your firmware is free to put UEFI services above 4GB ==> so it's possible that I won't be able to load a 32bit kernel even with grub (as bzimage), right?
[19:55] <alkisg> I mean, if I do have a 64bit uefi system which puts things above 4 gb and then calls grub, which then tries to load my 32bit bzimage kernel...
[19:57] <alkisg> Thank you :)
[20:02] <mjg59> alkisg: You'll jump into the kernel
[20:02] <mjg59> But the kernel won't be able to make any UEFI calls
[20:03] <mjg59> So various things will be broken
[20:03] <alkisg> I was wondering about that... how clever are the 32bit kernels, autodetecting bios/uefi and adjusting their calls automatically...???
[20:03] <mjg59> Pretty clever
[20:03] <alkisg> Cool!!!
[20:04] <alkisg> OK, my only question left now is if syslinux.efi is able to load bzimage and not just efi applications... I'll ask that in #syslinux. Thanks again! :)
[20:08] <alkisg> Ah, no, I have another one:
[20:09] <alkisg> Is it possible to boot a 32bit installation with a 64bit kernel?
[20:10] <alkisg> http://askubuntu.com/questions/543658/install-64-bit-kernel-in-32-bit-ubuntu
[20:15] <mjg59> That ought to mostly work