Thank you for the reply. I will move this discussion to the mailing list, as you...
Dear Genode team, I would like to give your work a try on my raspberry pi. I followed...