Question about seL4

Jorge Ventura jorge.araujo.ventura at ...9...
Fri Jun 20 00:05:02 CEST 2014

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 ???
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list