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
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
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
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 <kliemann@...569....> 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
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
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 <kliemann@...543... mailto:kliemann@...543...> 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 > genode-main@lists.sourceforge.net <mailto: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 <mailto: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
-
Johannes Kliemann -
Martin Iturbide