I wouldn't doubt them, from what I know. From my limited understanding, it started out completely separate, but has, over the past few years, started throwing

I wouldn't doubt them, from what I know. From my limited understanding, it started out completely separate, but has, over the past few years, started throwing away barriers and including GPL code directly to get better performance. (IE they used to have GPL shims to keep the GPL parts separate and dynamically loaded, and don't anymore, they just directly include it in vmkernel).