Hello, my work on bringing Genode to seL4 has reached a point where simple Genode system scenarios can be executed on the seL4 kernel. The development steps and the rationale behind the taken design decisions are documented in the following article: http://genode.org/documentation/articles/sel4_part_3 The individual steps can be examined as separate commits on my topic branch cited in my previous email. Even though the current version is still at a proof-of-concept stage, we plan to feature it in the upcoming Genode release 15.05. Cheers Norman On 03/10/2015 01:20 PM, Norman Feske wrote:
Hello,
I went a bit further with bringing seL4 and Genode together. The following article describes a series of small experiments with the kernel's IPC mechanism and the management of virtual memory.
http://genode.org/documentation/articles/sel4_part_2
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:26 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