Information flow in genode