Re: seL4 Availability

[Tom Bachmann]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Gernot Heiser wrote:
> Just to clarify: While I said that we intend to keep the kernel open
> source, that doesn't mean we're committed to open-source the complete
> verification. This is, again, a business decision which is heavily
> dependent on factors that are simply not known at this time.
> 

I believe that, to some extent, "open sourcing" your verification proof
could actually improve your business. I may be completely talking
rubbish, but I would imagine that a publicly available proof that is
attacked/tested from lots of independent groups and not shown to be
wrong could provide a lot of reputation.
- --
- -ness-
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)

iD8DBQFGbVl4vD/ijq9JWhsRAi7ZAJ9G8ixaKaMdoFxC3qPdlSy/U4BUPwCZAdTF
AIDU710LGurU1zfhXmycv5k=
=hGj6
-----END PGP SIGNATURE-----