Defence of "Microkernelization of Linux"

Martin Iturbide martiniturbide at ...9...
Thu May 10 20:31:47 CEST 2018


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 ...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
>
> [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
> > 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20180510/56e4addf/attachment.html>


More information about the users mailing list