А здесь по случаю подсказали ряд интересных источников:
Формальное описание аппаратного ядра 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" - российская микроядерная операционная система
Здесь есть ряд любопытных статей, например Сколько памяти требуется Хамелеону?
Любопытна как дата (проект живой, жоть медленно, но движется), так и цифра RAM для минимальной, но живой ОС.27 Май, 2012
...
Эта конфигурация системы Хамелеон использует 496 килобайт оперативной памяти, которую занимают составные сегменты и динамически аллокированные страницы.
Здесь общая сводка по реализованным различным ядрам L4: The L4 µ-Kernel Family
Там же L4Linux - реализация Linux на L4:
Здесь подробная страница по L4Ka::Pistachio microkernelL4Linux 3.6
Nov 2012
L4Linux has been updated to Linux 3.6