Норман Феске выкатил толстую книжку по архитектуре микроядерного, основанного на микроядре L4, фреймворка Genode http://genode.org/documenta...oundations-15-05.pdf