Is there a Linux distribution that supports 32bit-(U)EFI? If so, which one and where do I find a bootable ISO?
I'd like to find a Linux distro for my HP Envy X2 which has an Intel Atom CPU and Windows 8 32bit and UEFI preinstalled. The CPU seems to support a 64bit architecture as well.