[dvogel]

The Mach kernel has been open source since it's inception IIRC. The Apple extensions are real, but not the majority of the functionality.