It's actually one of the few remaining cerified Unix's, not Linux.

The kernel itself is a hybrid of code from BSD and Mach.