La version 4.2.18 du logiciel de virtualisation, VirtualBox, est disponible et apporte le support du kernel 3.11 publié récemment. Parmi les corrections apportés par cette 4.2.18 on remarque la détection udev dans le script d’initialisation des kernel 3.x et l’ajout d’un identifiant PCI au module vboxvideo.ko.

Installer VirtualBox 4.2.18 sur Ubuntu 12.04 / 12.10 / 13.04

Pour l’installer, dans une fenêtre Terminal Ctrl+Alt+T tapez les commandes suivantes :

echo "deb http://download.virtualbox.org/virtualbox/debian $(lsb_release -sc)  contrib" | sudo tee /etc/apt/sources.list.d/virtualbox.list
wget -q http://download.virtualbox.org/virtualbox/debian/oracle_vbox.asc -O- | sudo apt-key add -
sudo apt-get update; sudo apt-get install virtualbox-4.2

Source : virtualbox.org