Я говорю, что и Linux, и BSD, и Solaris имеют определённые технико-исторические проблемы. Minix3 же и Darwin сразу, на бумаге проектировались так, чтобы потом не ломать. И многопоточность и остальное. И именно в этом (и может быть лишь в этом) они превосходят остальные системы;
Что касается Mac OS X, о каких проблемах вы?  Исходники XNU настолько компактные, ясные и документированные, что можно по ним учить теории ;-)