Comment Comment by czeidler Sound like Genode: http://genode.org/documentation/general-overview/index parent czeidler 9 years ago
