Genode's core and init running on seL4

Norman Feske norman.feske at ...1...
Mon May 18 16:16:31 CEST 2015


I am happy to report that I got the first little Genode scenario
(base/run/ working on the seL4 kernel. For those of you who
are interested in following this line of work, I thoroughly documented
the steps I had to take:

You can find the corresponding topic branch at:

This preliminary version of the seL4 support will be included in the
upcoming Genode release.


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