On Mon, 12 May 2003 22:19:51 BST, Alan Cox said:
> 1. Base Linux is not C2 certified
> 2. C2 is obsolete
Right.. but the point was that the object-reuse stuff was known 20 years ago
to have to be inside the TCB.... And in the Linux world, having /etc/rc?.d/
and all the dependent code inside the TCB is just... ugly.. ;)
--==_Exmh_-1753501222P
Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.1 (GNU/Linux)
Comment: Exmh version 2.5 07/13/2001
iD8DBQE+wCBfcC3lWbTT17ARAnSqAKC/4NadCUMKhmaRiEhZBZzBhc5nggCfYbva
hu2PEnh1/j7M0gsu305rhnE=
=iXiR
-----END PGP SIGNATURE-----
--==_Exmh_-1753501222P--
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/