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
