Scribit Bas Wijnen dies 02/05/2006 hora 19:44:
> > My point is that the TCB includes stuff that needs updating, and may
> > need updating on a regular basis as bugs are discovered.
> The TCB should be pretty stable.

Please state what the TCB includes. None of you two has the same
definition of it. I suspect Bas only sees the boot system and the
ยต-kernel along with some very low-level components of the OS. Wether
device drivers fit in there is unclear. Surely not the network stack.

Semantically,
Nowhere man
-- 
[EMAIL PROTECTED]
OpenPGP 0xD9D50D8A

Attachment: signature.asc
Description: Digital signature

_______________________________________________
L4-hurd mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/l4-hurd

Reply via email to