This is great video...

see: A re-implementation of NetBSD using a MicroKernel 

http://www.slideshare.net/eurobsdcon/andy-tanenbaum-euro-bsdcon2014v2

    Maybe this might be useful for use under Genode?
    -Peter