Genode on RPI - end of discovery stage