l4-hurd
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: Challenge: Find potential use cases for non-trivial confinement


From: Christopher Nelson
Subject: RE: Challenge: Find potential use cases for non-trivial confinement
Date: Tue, 2 May 2006 13:11:01 -0600

> 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}=-




reply via email to

[Prev in Thread] Current Thread [Next in Thread]