VMware is still trying to push VMCI (the Virtual Machine Communication Interface) and VSOCK (VMCI Sockets) into the mainline Linux kernel. Fortunately, it looks like this virtualization code from the proprietary software vendor will make it into the Linux 3.9 kernel...