[isabelle] seL4 open source

The Isabelle proofs for the seL4 microkernel are now out on

and the code on

For more information see http://sel4.systems


ps: let us know if you are developing anything cool with or on the proofs or the kernel -- we will probably set up a list of community projects when a few of these have taken off.


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.

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.