Lors de son démarrage, les MBP équipés du processeur i7 (et sans doutes d’autres) démarrent avec un noyau 64 bits.

Malheureusement, avec un noyau en 64 bits, VirtualBox devient extrêmement lent (affichage du menu GRUB en plus d’une minute…). Moi qui utilise beaucoup les machines virtuelles pour mon activité, me voilà bien embêté. Un ticket est ouvert chez VirtualBox pour le moment, mais pas de correctif publié.

Une solution temporaire est de reconfigurer le Mac pour qu’il démarre en 32 bits (à priori, peu de contres indications au mode 32 bits, les programmes 64 bits continuent de fonctionner). Pour ça, on a le choix:

• Au boot du Mac, il faut appuyer simultanément sur 3 et 2. Pratique pour le faire une fois de temps en temps, mais pas très pratique pour les têtes en l’air qui oublieraient !
• Rendre le changement permanent à l’aide de la commande « sudo systemsetup -setkernelbootarchitecture i386 ». La commande « sudo systemsetup -setkernelbootarchitecture x86_64 » permettant de revenir au boot par défaut en 64 bits. Attention, ça ne marche pas si on change de disque de démarrage bien sûr.

Voilà, maintenant mon VirtualBox fonctionne, je peux travailler normalement !