by Announcements about seL4 — low volume list
Yes, it’s (semi-)official: we’ll be going open-source on 29 July!
Of course, by the time you subscribe to this list you’ll already know that, and are keen to find out more. Stay tuned!
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.