Progress of bringing Genode to seL4

Norman Feske norman.feske at ...1...
Tue Mar 10 13:11:14 CET 2015


after a rather long pause, I recently picked up my work on using the
seL4 kernel as base platform for Genode:

The second part of the article series goes into detail about the kernel
mechanisms that I deem as most relevant for Genode, namely IPC and the
management of virtual memory.

All the steps described in the article can be reproduced via my
corresponding topic branch, which I have just rebased on top of Genode's
master branch:


On 10/30/2014 01:27 PM, Norman Feske wrote:
> Hello,
> I have written up the first of a series of articles about using seL4 as
> base platform for the Genode OS framework:
> I hope that it contains useful bits of information for novices of seL4
> and Genode alike. Even though the article outlines a few hurdles, the
> overall experience of using the kernel had been overly positive so far.
> For those of you interested in tracking the progress of the ongoing
> work, here is the corresponding topic branch:
> Cheers
> Norman

Dr.-Ing. Norman Feske
Genode Labs ·

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the users mailing list