For many many years, you shipped closed source Linux kernel drivers
for
your products.  Only recently has this changed.

and

quoted

all our Linux drivers, even if not all are upstream [yet], are GPL.

That's nice to hear, although without proof of that, we have to take
your word :)

The following VMware drivers are in mainline Linux now (thanks to you and other members of the kernel community for that!)

vmxnet3: Tue Oct 13 00:15:51 2009 -0700
vmw_pvscsi: Tue Oct 13 14:51:05 2009 -0700
vmwgfx: Thu Dec 10 00:19:58 2009 +0000
vmw_balloon: Fri Apr 23 13:18:08 2010 -0400

Thanks

- Bhavesh