Cuando se actualiza el kernel de Linux es posible que VMWare deje de funcionar y muestre el siguiente mensaje “VMWare has not been (correctly) configured for the running kernel” (este mensaje sólo aparecerá si intentas arrancar vmware desde consola).

El problema seguramente será debido a que VMWare no está configurado para el nuevo Kernel, para arreglarlo basta con ejecutar el comando:

sudo /usr/bin/vmware-config.pl

Es posible que cuando lo ejecutes recibas un mensaje de error indicando que diga algo como “cannot find /usr/src/kernel/include”; en este caso ejecuta el comando:

sudo apt-get install linux-headers-`uname -r`

y una vez terminado vuelve a ejecutar vmware-config.pl.