Разрешите вставить в Ваш спор свои 5 копеек.Микроядро - не единственный способ повышения надёжности, избавления об глобальных блокировок и упрощения синхронизации подсистем ядра.
Есть DragonFly BSD, в которой реализована очень интересная концепция LWKT (легковесные нити ядра). На каждом процессоре или процессорном ядре выполняется по одному потоку ядра с независимым планировщиком задач. Потоки взаимодействуют друг с другом посредством сообщений, поэтому в идеале на всё ядро есть единственная критическая секция - обмен сообщениями. Большинство драйверов тоже являются отдельными процессами, драйвер файловой системы вообще работает в пространстве пользователя.
По классификации ядер такое ядро можно причислить к гибридным. Мне кажется, что такое ядро должно обеспечивать приемлемый уровень надёжности и в то же время более высокий, чем у монолитных ядер и микроядер, уровень производительности.
В таком случае идеи Танненбаума о микроядре какбэ заметно тускнеют.