> Не знаю, но в Linux оно рабочим не выглядит

То что технологии начинают нормально работать только по мере набивания шишек и синяков - кто б сомневался. Успешнее то кто-нибудь запилил?

> С какой стати? Трансформатор - отличная вещь. Но прогресс неотвратим и их
> обязательно заменят на огромные импульсные БП,

Что-то не торопятся менять, дорого. Да и кто сказал что импульсные БП - без трансформатора? Он по прежнему есть, а то что на более высокой частоте - ну и? Принципы работы - на месте. Монолитные и гибридные ядра тоже продвинутее чем во времена древних unix стали.

> которые наводнят помехами и ЭМИ все вокруг.

С наводнением ЭМИ в городах справились в начале-середине прошлого века. Индустриализация, автомобили (зажигание, коллекторные моторы), бытовая электроника и инструменты, мощные коллекторные моторы в поездах, троллейбусах, трамваях и т.п., не говоря о всяких сварщиках с их искровыми передатчиками. И кому баг, а кому и фича. Чем больше энергии валится нашару - тем проще запиливать условно-вечные датчики.

> Потом загляните, например

Заглядываем. Видим:

The formal verification of seL4 on the ARM platform assumes that the MMU has complete control over memory 

В переводе с академического на человеческий: real-world системы могут забыть про верификацию. Кстати в лине работа с DMA довольно развита. Есть api и engine, один или несколько автоматов могут дергаться на всю толпу желающих. Я не думаю что в микроядрах такое запилят, DMA framework в микроядре и прочая обслуга и хелперы - не концептуально же. А без этого будет много ограничений. DMA-автоматов обычно меньше чем периферии и драйверов, на всех влобовую не хватит. Так что или куча ограничений или кодинг похожего по смыслу фреймворка, на выбор. Еще и со всеми прелестями микроядра. Когда надо или ядро раздуть немаленьким фреймворком и костылями, или делать это расово верно, но - сложно и медленно.

Ну и эта штука не умеет почти ничего. И зачем мне она такая? У меня нет для нее задач. С точки зрения R&D мне удобнее запускать на эмбедовочном таргете систему похожую на мой десктоп. Я отдевелопаю на десктопе и перенесу на таргет почти 1 в 1, с минимумом новых багов в этом процессе. С драйверами в массе своей вообще подолбаются другие. У линуксного ядра - фич навалом, либ - полно. Время разработки сокращается. А на практике - хз, за год не дохнет, память не течет и проч. В обычном лине, если не сильно джамшутить. Обычно слетает питание или что-то перекоммутируют, но софт в этом не виноват. Задача софта при этом не помереть, всего лишь :).

> Кстати, с чего вы взяли что я пропагандирую микроядра?

Да все обычно их пытаются продвинуть как нечто революционное. Я не спорю что однажды монолиты устареют и их что-то заменит. Но замена должна привносить что-то новое, реально ощутимое и оправдывающее возню с этим. Не говоря о том что это должно стать нужно достаточно большому количеству людей, чтобы это реально взлетело. А концепции ради концепций - развлечение академиков, это не от мира сего.