Hi Apologies for referring back to an old thread, but in this conversation https://www.syslinux.org/archives/2018-October/026198.html Thomas and Ady seemed to suggest that booting 32-bit linux from 64-bit EFI was possible with the patched 6.04-pre version of syslinux that Debian are using. When I try this, all I get is Loading ../../bzImage...ok Loading ../../imgpt4.gz...ok and then nothing. nomodeset is included in the (very simple) sysconfig: timeout 0 prompt 0 default d label d kernel ../../bzImage APPEND root=/dev/ram0 rw nomodeset initrd=../../imgpt4.gz I note that Ady talks about enabling EFI_MIXED in the linux kernel, but that's only available for x64 kernels and is designed to let Linux x64 boot from an x86 loader, so I assume Ady was getting mixed up between 32->64 and 64->32: is the whole premise of that thread mixed up - ie was Thomas similarly confused? Is it just flat-out not possible to boot an x86 kernel from an x64 loader? It would be really helpful to me to be able to continue to use a 32-bit kernel because some of our older kit uses non-64-bit-capable CPUs, and it's unfeasible to replace them (they're in various locations worldwide and we don't have the manpower to do it all in one hit) . Meanwhile it's simply not possible to obtain newer boards that suit us with 32-bit EFI, while the CSM legacy mode is disappearing from most new boards too. I'd really rather not have to manage two different kernel builds (and have to test against both), although obviously that will be the fallback position if we can't get x86 booting from EFIx64. Thanks Geoff