Onde posso encontrar as instruções de instalação para a melhor opção para alcançar meu objetivo?
VMWare Player (ou Workstation)
Por experiência pessoal, posso dizer que o VMWare Player quase certamente funcionará para você, já que você tem este cenário:
- Processador Intel / AMD de 64 bits com extensões de virtualização (VT)
- Host Linux de 32 bits
- Linux Guest de 64 bits
Experimente o VMWare Player e ele informará qual é o problema se ele não puder fazer o que deseja. (Não consegui encontrar instruções oficiais com uma pesquisa rápida no Google.
VirtualBox
O Virtualbox também possui um recurso semelhante desde a versão 2.1, com requisitos semelhantes. De Capítulo 3 do manual do Virtualbox:
O VirtualBox oferece suporte a sistemas operacionais convidados de 64 bits, mesmo em sistemas operacionais host de 32 bits, desde que as seguintes condições sejam atendidas:
Você precisa de um processador de 64 bits com suporte a virtualização de hardware (consulte “Virtualização de hardware vs. software”).
Você deve habilitar a virtualização de hardware para a VM específica para a qual você deseja suporte a 64 bits; a virtualização de software não é suportada para VMs de 64 bits.
Se você deseja usar o suporte a convidado de 64 bits em um sistema operacional de host de 32 bits, também deve selecionar um sistema operacional de 64 bits para a VM específica. Como o suporte a 64 bits em hosts de 32 bits gera sobrecarga adicional, o VirtualBox só permite esse suporte mediante solicitação explícita.
Espero que isso ajude!