[seL4 Announce] Welcome to announce@seL4.systems!

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! Gernot ________________________________ 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.