He asked about the Kernel. The Kernel is XNU / Mach, modified to act like a monolithic/hybrid kernel. The BSD code in Mac OS X is all user space, much of which probably isn't in iOS at all.