Genode

The Genode operating system framework.

genode.org