Progress of bringing Genode to seL4

[Norman Feske]

Hello,

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

  http://genode.org/documentation/articles/sel4_part_2

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:

  https://github.com/nfeske/genode/commits/sel4

Cheers
Norman

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:
> 
>   http://genode.org/documentation/articles/sel4_part_1
> 
> 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:
> 
>   https://github.com/nfeske/genode/commits/sel4
> 
> Cheers
> Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

http://www.genode-labs.com · http://genode.org

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