https://www.pcastuces.com/pratique/astuces/4906.htm

Utiliser des machines virtuelles 64 bits avec VirtualBox - Windows 10

Vous avez installé VirtualBox pour utiliser des machines virtuelles. Or bien que vous soyez sous Windows 64 bits, vous ne pouvez installer que des machines 32 bits ? Pour utiliser des machines 64 bits, vous devez vérifier que les options de virtualisation de votre processeur sont bien activées dans le BIOS et que Hyper-V est désactivé dans Windows.

Au démarrage, accédez au BIOS en pressant la touche indiquée à l'écran.
Rendez-vous dans les paramètres avancés de votre processeur.
Activez alors la technologie de virtualisation de votre processeur.
Une fois sous Windows, cliquez avec le bouton droit de la souris sur le bouton Démarrer et cliquez sur Panneau de configuration.
Cliquez sur Programmes.
Cliquez sur Activer ou désactiver des fonctionnalités Windows.
Décochez alors la case devant Hyper-V puis validez par OK.
Vous pouvez désormais utiliser des machines virtuelles 64 bits dans VirtualBox.