Microkernel devroom 2019

[Jakub Jermář]

Hello everybody,

the FOSDEM organizers released the CfP [1] and the submission deadline
for devroom proposals [2] is on the 20th September. As we did in the
past, I would like to pass on the torch of the devroom organizer to the
next interested party of the microkernel community. So, please get in
touch (preferably on this mailing list) if you want to take over.

[1] https://fosdem.org/2019/news/2018-08-10-call-for-participation/
[2] https://submission.fosdem.org/devroom.php

Regards,
Jakub