Re: Defence of "Microkernelization of Linux"

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