[Ernest_at_the_Beach]

What varietty of Linux is running?

[zeugma]

It's a kernel specific to VMWare. I'm not really sure what kind of mods they make, but since they are distributing it, they have to make any kernel mods publicly available. From what I've seen, it is highly tuned for its job as basically a supervising process.