Первый человек здесь в комментах, который понимает суть вопроса.

Проблема микроядер и других перспективных изобретений и технологий заключается не в них самих или в каких-то их изъянах, а в безальтернативном так называемом индустриальном программировании, которое целиком и полностью подчинено коммерческим корпоративным интересам софтверных компаний. Я не раз и не два писал про это в своих комментах: причина всех зол — то место, которое незаслуженно закрепили в обществе за программистам софтверные компании (эти корпорации посредством ИТ и массированной лжи высасывают огромное количество общественных сил и ресурсов исключительно в своих интересах; сейчас они взялись за автопром, к примеру, где им вообще делать нечего, говоря серьёзно). Если перевести сказанное на понятный людям язык, то заниматься микроядрами, экзоядрами и так далее попросту некому и некогда — все, кто подходят по способностям и квалификации, заняты зарабатыванием денег работой на те или иные корпорации прямо или опосредованно.

MINIX сейчас, например, внутри Intel ME. В каждом сервере с интеловским процессором. Достаточно этого?

Кроме того, довольно известна и популярна в определённых областях применения QNX.

Там, где требуется надёжность и отказоустойчивость, вполне используют микроядерные ОС и ОСРВ, в том числе жёсткого. Где можно использовать дешёвую попсу — используют попсу. Вплоть до контейнеров с девляпсами, что равно полнейшей деградации ИТ. Это уже дно.