(New to Genode) A couple of questions ...