Re: seL4 Availability
Tom Bachmann <[email protected]>
| Newsgroups | gmane.os.hurd.l4 |
|---|---|
| Message-ID | <[email protected]> |
-----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-----