Anybody knows what kind of Open Source License is expected to be deployed with seL4 on July 29th ? -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20140620/aec4d3bf/attachment.html>