Есть такое семейство микроядер — L4. Их называют микроядрами второго поколения, так как они были созданы уже после осознания того факта, что микроядра — медленные. Для решения проблем с производительностью было сделано много интересных оптимизаций, например, передача сообщений между процессами через регистры процессора. Я узнал о существовании L4 несколько лет назад и подумал, что это какой-то застывший сугубо академический проект.
Оказалось — ничего подобного, проект активно развивается (в австралийском университете, кстати). В частности на L4 портировали Android, выкинув Linux, а сам L4 запустили на HTC Dream. Кроме того, OK Labs (подразделение, занимающееся коммерческой разработкой L4) сообщило о продаже более миллиона мобильных телефонов под управлением L4.
Как мне кажется, микроядра вполне могут получить второе рождение в связи с бурным развитием потребительской мобильной техники.