27 Jul
2014
27 Jul
'14
8:53 a.m.
For the benefit of those who don’t follow my tweets ;-) some update on the release (due in 2d 3k 10m):
The kernel and proofs will be released under GPLv2. We’ll also release some tools and userland code, that will be a mixture of GPLv2 and 2-clause BSD. See http://sel4.systems/FAQ for details.
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.