-----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----- _______________________________________________ L4-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/l4-hurd
