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.