Re: seL4 will go open source on 29 July
Gernot Heiser <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
On 5 Jun 2014, at 14:23 , Sartakov A. Vasily <[email protected]> wrote: > This is a really great news. Will you publish the haskell model and proof? Yes, the lot! Gernot _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
signature.asc
(application/pgp-signature, 842 B)
-----BEGIN PGP SIGNATURE----- Comment: GPGTools - https://gpgtools.org iQIcBAEBCgAGBQJTj/GuAAoJED2KpaIj/eh041MP/iCspyA1g08ZhZ40zTFnqgTd ZZXG7/3cpEOCG3Fq+ZpKbq89LiWX1IHOg6whMiFi8dh7NOdw+B2u1a/TnMoZdhe7 yXT9lFWhFYMVdj5979KN26t9SMLHdKQs3deXlLzRnmP6CqojVGlhyG0MvBKXD51o 0OKxY/stXUXFRT+yUuKE2+ssl5+TvPsrH2QgOic/+qfAa0yeWzi0m6PtSK3FzV38 aGDURyiyphJsB9xiO9ebYnq8dBM/nMIiAVt3d9TE2YiypglYg4qrApUTZeZ7d91/ JQe+L5wcd/BwHl01BpfRgeJTqrnCjUgqoRYspJI9YwSxRN2vtXlQk/z6M9cWdCvt eImqVIxpAk+ClMXhbLb9NO5wII9n/3HdZ8crRgU0yU0v0L+1dinCrKGGnL9mfkLo yO2S7VBzp4N4KaIn5Pk6yIfPcULXCef9YilkpyGiSHR+Ma6+b/rvYoat7eByxmzh U7PI8hBelikiXdIoWhra8v4s38DEL6mivDbuhUOGx3jjoCRmYqSesENhBh7IRWHk pvQzNttrIWdryajfFs5vVMohrpEboh/rwX/t75X6fewhQ7uGOig+LN7Nx/9KmD9D xUXo5yvQZ1/bdQSK8FJE7wlenOCBJUedCirgVMjmjBJwhjcBntvoHuIcFfASydCZ D9+c+wJHLe6SPNlViU14 =kx4X -----END PGP SIGNATURE-----