Hi Mick,
I succesfully built all modules. Very helpful for me was original patch.
I'm running 3.10.9-200.fc19.x86_64 and VMware 8.0.6.
You need to fix netif.c (during patching you can notice that patching of that file failed).
Hopefully I remember well what I did:
1. remove this part:
} else {
- netIf->port.jack.procEntry->read_proc = VNetNetIfProcRead;
- netIf->port.jack.procEntry->data = netIf;
2. and remove this function: * VNetNetIfProcRead -- at the end of file.
Also you need to patch vmblock.tar and finally you need patch vmci.tar ( I used this link: Linux Kernel 3.8.* – VMware failed to build vmci | u wot? )
On my laptop vmware service was available after reboot.
Wish you good luck