> 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.
The TCB includes everything that *must* be trusted. The kernel, most (if not
all) drivers, and certain servers. Which servers depend on your architecture.
-={C}=-
_______________________________________________
L4-hurd mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/l4-hurd
