> HURD и MINIX вообще-то в пролёте по другим причинам: они архитектурно ущербны
> по своим причинам, не относящимся к микроядерности.А что, зарубитесь с Таненбаумом на предмет архитектуры ОС? А то он книжки даже издает по поводу того как (не)надо делать операционки. Вы утверждаете что вы круче этого академика? :)
> Какие еще есть примеры микроядер? QNX? Этот никогда и не пытался взлететь как ось общего
> назначения.
Когда-то пытался. Даже qnx demo disk был. Только это была вещь в себе. Под кульное самобытное апи - полторы программы и более ... нифига! Общеупотребительные ФС не читало. Даже FAT, не говоря про что-нибудь еще. Полтора драйвера железок подцепляли только очень некоторое оборудование и очень местами.
Выглядело безумно круто на первый взгляд. И абсолютно бесполезным артефактом - на второй. К этому космическому кораблю совершенно невозможно добыть топливо и запчасти, так что он был обречен гнить в ангаре.
> Могло бы быть и иначе, если бы он не был проприетарным, но увы.
Бы в этом мире не считается.
> L4? Вот как раз на нём Genode и основан.
Так я что-то не вижу успешных операционок общего назначения с микроядерной архитектурой на основе L4.
> Знаешь еще какие-то примеры микроядер,
> на основании которых кто-либо пытался сделать general purpose ось?
Настолько буйных психопатов в этом мире не так уж и много. Большинство системщиков догадывается что типовому юзерью с их фэйсбучиками и твитерами и даже мажорам с кадами и компилерами совершенно не уперлось никакое микроядро.
> Перечисли. Не знаешь? Тогда нефиг обобщать на основании такой небольшой выборки.
А какие проекты есть - то и обобщаю. Обобщать то чего нет - не получится.