Hello Genode folks,
I want to invite you to the defence of my student thesis "Microkernelization of Linux" (and enabling native Genode driver support on base-linux). It will take place in the Andreas-Pfitzmann-Bau room 3105 at 11:00.
At the 14th May 2018.
Regards, Johannes Kliemann