Menu
▾
▴
genode-main
|
From: Johannes K. <kli...@co...> - 2018-04-25 08:15:01
|
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. Regards, Johannes Kliemann |
|
From: Johannes K. <kli...@co...> - 2018-04-25 08:18:19
|
> 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 |
|
From: Johannes K. <kli...@co...> - 2018-05-09 09:26:59
|
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 > gen...@li... > https://lists.sourceforge.net/lists/listinfo/genode-main > |
|
From: Martin I. <mar...@gm...> - 2018-05-10 18:32:06
|
Hi I'm very far away but I wish you good luck with it. If I were there I would live stream it :) Regards. El mié., 9 de may. de 2018 04:27, Johannes Kliemann <kli...@co...> escribió: > 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 > > gen...@li... > > 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 > gen...@li... > https://lists.sourceforge.net/lists/listinfo/genode-main > |
|
From: Johannes K. <kli...@co...> - 2018-05-13 11:57:19
|
Hi Martin, thanks for your feedback. I didn't expect such a widespread interest and unfortunately I won't be able to set up a stream in the short term. But I will take it into consideration next time ;) Regards, Johannes Am 10.05.2018 um 20:31 schrieb Martin Iturbide: > Hi > > I'm very far away but I wish you good luck with it. If I were there I > would live stream it :) > > Regards. > > El mié., 9 de may. de 2018 04:27, Johannes Kliemann > <kli...@co... <mailto:kli...@co...>> escribió: > > 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 > > gen...@li... > <mailto:gen...@li...> > > 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 > gen...@li... > <mailto:gen...@li...> > 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 > gen...@li... > https://lists.sourceforge.net/lists/listinfo/genode-main > |
