The "big picture" stuff is in this article -- it's still basically the Mach way of doing that stuff even though it's a hybrid kernel -- and the best place to find implementation details is really to go and download the XNU sources and dig in. And here is Apple's book on the subject.