Genode is an operating system framework with the goal of creating a general purpose multiserver operating system running on a microkernel. The source code is dual licensed: AGPLv3 and a commercial license.
IRC, freenode, #hurd, 2012-08-02
<mcsim> If someone interested, there is a channel with lectures about
Genode and L4: http://www.youtube.com/user/drsartakov?feature=watch