Updating kernel for linux OS is always a head-ache for vmware modules recompilation. GCC not found, memory allocation errors and many others usually prevent from vmmon and vmnet modules recompilation.

VMware 14, last version at the moment, is smoothly installed with all modules compiled on my Fedora 26-28 OS. However global memory allocation problem does not allow launch any VM. The previous version, VMware 12, works fine if vmmon and vmnet modules have been compiled.

I found solution which enables module compilation for my latest kernel 4.6.13 and ten previous ones:

• Install VMware 12.5.9
• Download vmware-host-modules-workstation-12.5.9 zip file and unzip it in a temporary directory.

• Compile modules in terminal:

  # cd vmware-host-modules-workstation-12.5.9/vmnet-only/

  # sudo make clean

  # sudo make

  # cd ../vmmon-only

  # sudo make clean

  # sudo make

  # cd ..

• If you have an error "stdarg.h not found" do in new terminal:

  # cd /lib/modules/$(uname -r)/build/include

  # sudo ln -s $(gcc -print-file-name=include)/stdarg.h

• Copy modules in misc directory

  # sudo mkdir /usr/lib/modules/`uname -r`/misc/

  # sudo cp vmmon-only/vmmon.ko /usr/lib/modules/`uname -r`/misc/

  # sudo cp vmnet-only/vmnet.ko /usr/lib/modules/`uname -r`/misc/

• Register new modules

  # sudo depmod -a

• and launch vmware

  # sudo service vmware start