Hi,
OK, I was finally able to make it work on kernel-3.9.3. The following was needed for me:
In /etc/vmware/config:
VMBLOCK_CONFED = "no"
VMCI_CONFED = "yes" <== still needed to create the /dev/vmci device file. Otherwise I would have had to change /etc/init.d/vmware
VSOCK_CONFED = "no"
In /lib/modules:
cd /lib/modules/3.9.3/misc
ln -nsf ../kernel/drivers/misc/vmw_vmci/vmw_vmci.ko vmci.ko
Not sure whether these are the right things to do in this scenario though. I am open to suggestions.
Cheers
Martin