Question about seL4 on July 29th

Daniel Potts danielp at
Sat Jun 21 04:33:33 CEST 2014

Yes, but you'll have to wait a little longer.

On 21 Jun 2014, at 12:00 pm, "Jorge Ventura" <jorge.araujo.ventura at<mailto:jorge.araujo.ventura at>> wrote:

Anybody knows what kind of Open Source License is expected
to be deployed with seL4 on July 29th ?
l4-hackers mailing list
l4-hackers at<mailto:l4-hackers at>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the l4-hackers mailing list