Email Gateway (Aug 19 2022 at 15:06): Email Gateway (Aug 19 2022 at 15:06):From: Gerwin Klein <Gerwin.Klein@nicta.com.au>
The Isabelle proofs for the seL4 microkernel are now out on
http://github.com/seL4/l4v
and the code on
http://github.com/seL4/seL4
For more information see http://sel4.systems
Enjoy!
Gerwin
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.
Last updated: Nov 21 2024 at 12:39 UTC