Может просто попробовать сделать чисто теоретическую ОСь ? Не привязанную ни к какому процессору / архитектуре ? Плювать на накладные расходы и занимаемые объемы ?

Может быть придумать идеальный процессор под эту ОСь ?

А не пытаться написать очередной драйвер клавиатуры/СД/rtl8139 ?

Чисто теоретически микроядро лучше монолита, просто народ отпугивает большие накладные расходы на переключение задач и передачу сообщений.
Но если представить себе процессор у которого время переключения контекста задачи 0, то тормоза микроядра исчезают.

Мне не понятно зачем народ пихает в ядро менеджер памяти для прикладного уровня ?
Ядро занимается только управлением страничной памятью. Задаче выделенно адресное пространство, вот пусть сама им и управляет.

И желательно, что б прикладные задачи были скомпилированны в пикод. Тогда получится что запуск приложения - это запуск интерпритатора кода, в своем независимом адресном пространстве, со своей копией мини ДОСа.

Чисто теоретически микроядро лучше монолита, просто народ отпугивает большие накладные расходы на переключение задач и передачу сообщений

Процессор под ОСь? ОС - это сервисная программа, которая обеспечивает работу всех остальных. Это ОСь пишется под процессор, а процессоры делаются для решения прикладных задач: для параллельных вычислений - свои, для ПК - свои, для видеокарт - свои, для встраиваемых решений - свои.

Без самопального драйвера ОСь даже поотлаживать, и она останется на бумаге. А использование готовых драйверов от других систем требует, чтобы сама система была максимально похожа на уже существующую.

Представить можно что угодно, но какой в этом прок? Переключение контекста задачи физически не может занимать 0, потому что задач очень большое число, а значит процессору придется хранить кучу информации, да еще и искать в ней нужную (тот контекст, на который мы переключаемся).

Я рассуждал так: системе самой надо управлять своей памятью (самой выделять структурки под разные системные объекты и т.д.). А если уже есть такой менеджер в системе, почему бы его интерфейс не экспортировать наружу? Причем мой менеджер не ядерный - ему передается адрес начала таблицы разметки памяти, и она с ним работает. Можно эти же функции использовать и без переключения в 0-кольцо.

Так был изобретён Android.

А не замечаете внутреннего противоречия в самой этой фразе?

что за противоречие ?

Вы утверждаете, что микроядро "теоретически лучше" монолита, и одновременно Вы соглашаетесь с тем, что микроядро по сравнению с монолитом имеет "большие накладные расходы на переключение задач и передачу сообщений". Так почему же Вы утверждаете, что микроядро лучше, если по крайней мере по некоторым характеристикам оно хуже, причём не только теоретически, но и практически?