Eu recentemente ganhei um Dell Venu 10 Pro em um hackathon e fui instalar qualquer tipo de distribuição Linux nele. Aparentemente, esses tablets têm processadores de 64 bits, mas eles só têm a capacidade de inicializar imagens EFI de 32 bits. Isso está criando uma enorme quantidade de problemas, já que praticamente nenhuma distribuição Linux suporta carregamento EFI de 32 bits.
Eu realmente gostaria de instalar o Fedora neste tablet, alguém sabe de alguma forma de fazer isso? A página do projeto Fedora afirmou que isso não é suportado, mas eu esperava que alguém em algum lugar tivesse o mesmo problema que eu e tenha encontrado uma solução.
Cheguei perto de encontrar um tópico sobre como criar uma imagem EFI de 32 bits do Arch Linux, apenas para descobrir que os comandos necessários para criá-la são herdados e não se traduzem bem no Fedora (tentei viver inicialize o Arch linux para fazer o USB inicializável, mas não estou familiarizado com ele e não consegui realizar minha tarefa).