Linux-ru

Достаточно интересная ветка развития микроядерных ОС.
А здесь по случаю подсказали ряд интересных источников:

Формальное описание аппаратного ядра L4

Genode OS

Genode is a novel OS architecture that is able to ...

Здесь можно скачать последний релиз для ознакомления: http://genode.org/download/live-cds
Это Genode Live Demonstration 2010-11, но в SVN репозитарии http://genode.svn.sourceforge.net/viewvc/genode/trunk/ Release 12.11 давностью 7 недель, т.е. проект живой и движется.

Проект "Xameleon" - российская микроядерная операционная система
Здесь есть ряд любопытных статей, например Сколько памяти требуется Хамелеону?

27 Май, 2012
...
Эта конфигурация системы Хамелеон использует 496 килобайт оперативной памяти, которую занимают составные сегменты и динамически аллокированные страницы.

Любопытна как дата (проект живой, жоть медленно, но движется), так и цифра RAM для минимальной, но живой ОС.

Здесь общая сводка по реализованным различным ядрам L4: The L4 µ-Kernel Family
Там же L4Linux - реализация Linux на L4:

L4Linux 3.6
Nov 2012
L4Linux has been updated to Linux 3.6

Здесь подробная страница по L4Ka::Pistachio microkernel