Sound like Genode: http://genode.org/documentation/general-overview/index