seL4 will go open source on 29 July

Gernot Heiser gernot at
Thu Jun 5 06:27:26 CEST 2014

On 5 Jun 2014, at 14:23 , Sartakov A. Vasily <sartakov at> wrote:

> This is a really great news. Will you publish the haskell model and proof? 

Yes, the lot!


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 842 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <>

More information about the l4-hackers mailing list