1

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.

Thanks!

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.

Cosine
  • 111
  • 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
  • 3
    You mentioned Arch as a preferred distribution. Unfortunately, Arch is phasing out support for 32-bit x86. – Johan Myréen Mar 16 '17 at 07:42

2 Answers2

0

Debian itself has a 32bit option and it supports uefi

0

For those that may be reading this in the year 2019, this can be done with ArchLinux32. See especially this section on installing GRUB:

The section assumes you are installing GRUB for x86_64 systems. For IA32 (32-bit) UEFI systems (not to be confused with 32-bit CPUs), replace x86_64-efi with i386-efi where appropriate.

Clayton L
  • 101