Estou tentando usar o VMWare Player no Ubuntu 12.04 LTS, mas encontrando o mesmo problema discutido em " Kernel Headers 3.10.18 não encontrado no VMware Kernel Module Updater ".
No entanto, não consigo encontrar os cabeçalhos de linux correspondentes para 3.10.18, eles não aparecem ao pesquisar no terminal ou no Synaptic. Alguém é capaz de sugerir como posso resolver esse problema ou fornecer uma solução? Sua ajuda é muito apreciada.