L4, codezero, seL4 и иже с ними

Как говорится, нет такого программиста, который никогда не хотел бы написать свою ОС. Это я к чему, что-то захотелось старого доброго срача монолит vs микроядро. Вот и думаю, что L4 очень хорошее ядро, только написано на богомрезком C++. А вот если периписать его на православном С, да добавить динамические capabilities (хз как это по русски), чего нет в не менее православном codezero, было бы это хорошо?

ЗЫ: Как, думаю, понятно из заголовка, о seL4 я знаю, но несколько не устраивает лицензия по которой эта штука распространяется. Ко всему несколько смущает паранойя, которой страдают его авторы. В частности, запрет на выделение памяти в пространстве ядра и однонаправленность каналов передачи сообщений между нитями.

ЗЗЫ: Я знаю, что ни L4, ни seL4 не нужен, ибо есть linux. Но...