>> Хаха, теоретически фантазийные микроядерные ОС (QNX, LynxOS, vxWorks)
> Где, для начала, миникс, от мистера главного теоретика?

А где, по-вашему, он должен быть?

> Да вообще-то как минимум в космосе обычно работают довольно примитивные и дубовые
> процессоры, где не то что RTOS, а так, максимально упрощенный микрокод

Это не так. Вот пример с первой страницы гугла по запросу NASA RTOS:
http://edageek.com/2007/03/19/nasa-mro-threadx-rtos/

> (фирмваре), посвященный своей задаче. Аналогично с авиацией - в вике разжевано

Тоже заблуждение. В самолётах много сложного оборудования, которое уже давно не обходится примитивными контроллерами и прошивками. Вот пример:
http://www.rtsoft.ru/press/product/detail.php?ID=571

Или здесь, скупо, в последнем абзаце:
http://www.qnx.com/solutions/industries/defense.html

> устройство бортового компьютера одного из Боингов и как там резервирование сделано.
> Там про микроядра - ни звука. Зато рассказано про 2 разные

Помимо бортовых компьютеров в самолётах много другого оборудования, со своими процессорами и ОС.

> Ну и как, у вас на десктопе уже стоит QNX, VxWorks или

Стоял QNX, когда нужен был по работе, но к упомянутым сферам применения микроядерных ОСРВ это отношения не имеет.

> хотя-бы minix? Кстати а чего это производитель VxWorks не только быражит
> линуксом с реалтаймными расширениями собственного допила, но и активно сватает его
> вместо VxWorks, как бы намекая что Vx устарел и особо развиваться
> уже не будет?

Не знаю. Это вопрос маркетингового плана к VxWorks, которая, кстати, куплена интелом три года назад. У LynuxWorks есть (или был?) свой дистрибутив линукса, но от LynxOS они отказываться не спешат.

>> Это вы кагбе намекаете на уровень вашей осведомлённости.
> Дык миникс вон - был игрушкой и остался таковым, что не мешало
> Таненбауму исходить слюной в адрес Торвальдса больше всех.

Давайте без физиологизмов.

> И где вы видели _применения_ миникса? Я видел ровно одно - обучение
> студентоты тому как [не]надо делать ОС. Дальше этого почему-то не пошло
> ;)

Не удивительно. Миникс создавался именно с этими целями: обучение студентов, что никак не умаляет достоинств микроядерной архитектуры и применимости для решения некоторых классов задач. Перечисленные ОСРВ тому пример.