There's a lot of information on installing 64-bit Linux on 32-bit UEFI. It's a mess even here, but I've seen ways (rEFInd, etc).

But this laptop (HP Envy X2) has a 32-bit architecture and exclusively EFI (no CSM / legacy BIOS). So, how can I install a 32-bit Linux distribution on a 32-bit architecture, with EFI only?

At this point I'd be fine with pretty much any distribution. But if there's choice, I'd go with Arch-based, or Debian-based.

I have experience in GNU/Linux and installation / etc. I'm looking for EFI-specific help. The laptop currently runs Windows 10 with basically no drivers, but I have access to Debian and Windows on my desktop.


PS: This is not a duplicate as the questioner is (I believe) wrong in believing that the X2's CPU supports 64-bit. The answer there is also merely a distribution name.

  • Thanks! Do you know if any other distribution supports it? I'll try Ubuntu, it's just not my favorite (private, etc...) – Cosine Mar 15 '17 at 22:18
  • 2
    You mentioned Arch as a preferred distribution. Unfortunately, Arch is phasing out support for 32-bit x86. – Johan Myréen Mar 16 '17 at 7:42

Debian itself has a 32bit option and it supports uefi

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.