Hi Genode folks, since the Information in my last email was a bit scarce here is a short follow up to my defence.
My thesis is based on the Microkernelizing Linux challenge of Genodes challenges [1]. > Thanks to Genode's generic interfaces for I/O access as provided by core, all > Genode device drivers including drivers ported from Linux and gPXE can be > executed as user-level components on all supported microkernels. However, so > far, we have not enabled the use of these device drivers on Linux as base > platform. The goal of this project is the systematic replacement of in-kernel > Linux device drivers by Genode processes running in user space, effectively > reducing the Linux kernel to a runtime for Genode's core process. But moving > drivers to Genode processes is just the beginning. By employing further > Genode functionality such as its native GUI, lwIP, and Noux, many protocol > stacks can effectively be removed from the Linux kernel. > > The goal of this project is to evaluate how small the Linux kernel can get > when used as a microkernel. I will present the the implemented concepts for native Genode drivers on Linux and a demo running on base-linux with a stripped down Linux kernel using the native fb_boot_drv and ps2_drv. Location: Andreas-Pfitzmann-Bau, Nöthnitzer Str. 46 01187 Dresden, Germany; Room 3105 Time: Monday, May 14, 2018 at 11:00 a.m Regards, Johannes Kliemann [1]: https://genode.org/about/challenges Am 25.04.2018 um 10:18 schrieb Johannes Kliemann: > >> 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 > > > ------------------------------------------------------------------------------ > Check out the vibrant tech community on one of the world's most > engaging tech sites, Slashdot.org! http://sdm.link/slashdot > _______________________________________________ > genode-main mailing list > genode-main@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/genode-main > ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main