Reconfigurer Vmware Server après une mise à jour du noyau sous Ubuntu

Après une mise à jour du noyau, VMware Server ne se lance plus et affiche le message suivant:
« vmware is installed, but it has not been (correctly) configured for this system. To (re-)configure it, invoke the following command:/usr/bin/vmware-config.pl. »
Afin de remettre le server VMware en état de fonctionnement, il faudra en effet recompiler les modules VMware en utilisant les sources du noyau actuel.


1 Téléchargement des sources
:

Afficher les sources disponibles :
sudo apt-get install linux-headers

Installer les sources de la version actuelle :
sudo apt-get install linux-headers-2.6. x.x-xxx

2 Compilation des modules VMware :

Lancer le script de configuration VMware :
sudo /usr/bin/vmware-config.pl

A la question “What is the location of the directory of the C header files that match your running kernel ?”,  renseigner l’emplacement des nouvelles sources:
/usr/src/linux-headers-2.6.x.x-xxx/include