VMWare ESX Server information

Greetings..

I am searching for any and all information regarding the VMWare ESX
server information.  I am interested in the claims that the kernel
they use is actually proprietary versus. a modified RedHat kernel?

And, if someone has experience pen-testing an ESX server, I would like
to hear any feedback you may have.

Thanks,
Sam

------------------------------------------------------------------------------
Ethical Hacking at the InfoSec Institute. All of our class sizes are
guaranteed to be 12 students or less to facilitate one-on-one interaction
with one of our expert instructors. Check out our Advanced Hacking course,
learn to write exploits and attack security infrastructure. Attend a course
taught by an expert instructor with years of in-the-field pen testing
experience in our state of the art hacking lab. Master the skills of an
Ethical Hacker to better assess the security of your organization.

http://www.infosecinstitute.com/courses/ethical_hacking_training.html
-------------------------------------------------------------------------------