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 _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
