На рынке полторы микроядерных системы. Одна - с печальной судьбой. QNX сначала досталась Blackberry, а когда Blackberry сдулась, всё что осталось выкупил, кажется, Форд. И они знали, что покупать.
Половинка - это MacOS, изначально задуманная как микроядерная архитектура, но что-то пошло не так.
За счёт этой "задумки" Apple может неплохо переиспользовать код между платформами (MacOS/iOS/Watch), но полноценной мультиплатформенности у них нет.