> 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