[genode] Does order matter?