Genode stellt Ziele für 2020 vor