Question about seL4 on July 29th

[Daniel Potts]

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

On 21 Jun 2014, at 12:00 pm, "Jorge Ventura" <jorge.araujo.ventura at gmail.com<mailto:jorge.araujo.ventura at gmail.com>> 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 os.inf.tu-dresden.de<mailto:l4-hackers at os.inf.tu-dresden.de>
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20140621/4168e3a3/attachment.html>