18 May
2015
18 May
'15
4:16 p.m.
Hello,
I am happy to report that I got the first little Genode scenario (base/run/printf.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:
http://genode.org/documentation/articles/sel4_part_3
You can find the corresponding topic branch at:
https://github.com/nfeske/genode/commits/sel4
This preliminary version of the seL4 support will be included in the upcoming Genode release.
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