of all the things, you had to pick the kernel :). the kernel in use for both iOS and OS X is xnu for which the OS X sources are available on opensource. apple.com ( mavericks source at http://opensource.apple.com/source/xnu/xnu-2422.1.72/ ). While the iOS version isn't released, it likely to be exactly the same with the only differences being in the ARM architecture specific code.
If you would like to make changes and build your own OS X kernel, instructions to do that are at
If you would like to make changes and build your own OS X kernel, instructions to do that are at
http://shantonu.blogspot.com/2013/10/building-xnu-for-os-x-1...