Thanks, should have written that in my comment. I did not intend to fool anyone into believing NeXTSTEP or OS X are micro kernels. And Wikipedia disagrees with

Thanks, should have written that in my comment. I did not intend to fool anyone into believing NeXTSTEP or OS X are micro kernels. And Wikipedia disagrees with you about Mach. It says Mach was the "logical successor to Carnegie Mellon's Accent kernel" and that Mach was based on BSD4.2. Though Wikipedia could obviously be wrong.