Announce

Download

announce@sel4.systems

July 2014

1 participants
2 discussions

It's Out!
by Announcements about seL4 low volume list 29 Jul '14

29 Jul '14

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.

1 0

Licenses
by Announcements about seL4 — low volume list 26 Jul '14

26 Jul '14

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.

1 0