O próprio Debian tem uma opção de 32 bits e suporta o uefi
Há muitas informações sobre como instalar o Linux de 64 bits em UEFI de 32 bits. É uma bagunça mesmo aqui, mas eu vi caminhos (rEFInd, etc).
Mas este laptop (HP Envy X2) tem uma arquitetura de 32 bits e exclusivamente EFI (nenhum CSM / legacy BIOS). Então, como posso instalar uma distribuição Linux 32-bit em uma arquitetura 32-bit , com EFI somente?
Neste ponto, eu ficaria bem com praticamente qualquer distribuição. Mas se houver escolha, eu vou com o Arch-based, ou baseado no Debian.
Tenho experiência em GNU / Linux e instalação / etc. Estou procurando ajuda específica da EFI. O laptop atualmente roda o Windows 10 basicamente sem drivers, mas eu tenho acesso ao Debian e ao Windows na minha área de trabalho.
Obrigado!
PS: Este não é uma duplicata como o questionador é (eu acredito) errado em acreditar que a CPU do X2 suporta 64-bit. A resposta também é meramente um nome de distribuição.
O próprio Debian tem uma opção de 32 bits e suporta o uefi