Au bureau, je voulais installer une Debian Testing 64 bits sur ma tour Windows 7 64 bits. Or, ni VirtualBox ni VMware ne me permettaient d’avoir l’option 64 bits.

Le problème a apparemment été (suite à une mise à jour du BIOS, je ne sais pas si cela a été nécessaire) de cocher les 2 premières options de virtualisation dans le BIOS sur les 3.

Et voilà !

Advertisements