That is true, Mach does provide a certain level of abstraction for what is running on top of it. However, I think the problem lies in the fact that much of the code that has been 'ported' from OS 9 onto OS X as Carbon is not so easily abstracted. If memory serves me correctly, much of that...