Dear community,

I want you to be aware of that most of the Genode staff will be on holiday during the next few weeks. This implies that we might not be able to respond to the mailing list or GitHub issues in a timely fashion in the same way as we usually do. So, in case there is no response to your request/question, you now know why. We will try to resolve any inquiries as fast as we can after holiday season.

Thanks for your understanding,

Sebastian