Being a hybrid kernel means XNU is vulnerable to many of the same sorts of pitfalls that message passing in micro-kernels were attempting to avoid. Drivers seem to be especially problematic, likely since their number and complexity greatly exceeds that of the core-kernel code.
(via +Rae Yip)
(via +Rae Yip)