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.. ;)