Genode Clarification Please