seL4 will go open source on 29 July

[Gernot Heiser]

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

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

Yes, the lot!

Gernot

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20140605/0c575aba/attachment.html>
-------------- 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: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20140605/0c575aba/attachment.asc>