Question about seL4
norman.feske at ...1...
Fri Jun 20 12:30:06 CEST 2014
welcome to the mailing list!
> On July 29th of this year the seL4 is going to become free software. Is
> Genode going to support or it's already supporting this uKernel ???
It goes without saying that seL4 looks like an attractive base platform
for Genode. From what I remember from a talk of Gernot Heiser, the
kernel API would fit quite well with our architecture. In particular the
kernel resource management looks very suitable to us. That is an area
where most L4 kernels are severe lacking. Also the design decisions
described in their recent paper "From L3 to seL4
What Have We Learnt in 20 Years of L4 Microkernels?"  resonate very
well with me (e.g., abandoning IPC timeouts).
Put shortly, we will definitely investigate it once it got released.
Dr.-Ing. Norman Feske
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
More information about the users