Defence of "Microkernelization of Linux"

[Johannes Kliemann]

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 at ...543... <mailto:kliemann at ...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 at lists.sourceforge.net
>     <mailto:genode-main at 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 at lists.sourceforge.net
>     <mailto:genode-main at 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 at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
>