29 Jul
2014
29 Jul
'14
1:16 p.m.
seL4 is now open source. Enjoy, 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.