To circumvent the error with missing kernel header files on Fedora 17:

yum install kernel-headers kernel-devel

yum groupinstall "Development Tools"

cp /usr/include/linux/version.h /lib/modules/3.7.2-204.fc18.x86_64/build/include/linux/

• http://mafio.host56.com/2013/03/linux-kernel-3-8-vmware-failed-to-build-vmci/
• http://mafio.host56.com/-variousStuff-/vmware-workstation-9-patch-kernel-3.8/linux-3.8_vmci_pci_hotplug_struct.patch Download

1. cd /usr/lib/vmware/modules/source

2. tar -xf vmci.tar

3. cd vmci-only

4. patch -p1 < 'patchfile'

5. cd ..

6. tar -cf vmci.tar vmci-only/

7. vmware-modconfig --console --install-all

8. rm -rf vmci-only/