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
>

------------------------------------------------------------------------------
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