[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Challenge: Find potential use cases for non-trivial confinement
From: |
Pierre THIERRY |
Subject: |
Re: Challenge: Find potential use cases for non-trivial confinement |
Date: |
Wed, 3 May 2006 11:52:21 +0200 |
User-agent: |
Mutt/1.5.11+cvs20060403 |
Scribit Bas Wijnen dies 02/05/2006 hora 20:23:
> Still quite a respectable body of code, but not something which needs
> regular upgrades, I would expect.
Just check the evolution of the drivers in the Linux code. We can expect
to have a very solid ยต-kernel, espcially if it is formally proven to be
correct, but I'm not sure we will have such guarantees on our drivers.
Pessimisticly,
Nowhereman
--
address@hidden
OpenPGP 0xD9D50D8A
signature.asc
Description: Digital signature
- RE: Challenge: Find potential use cases for non-trivial confinement, (continued)
RE: Challenge: Find potential use cases for non-trivial confinement, Christopher Nelson, 2006/05/02
RE: Challenge: Find potential use cases for non-trivial confinement, Christopher Nelson, 2006/05/02
Re: Challenge: Find potential use cases for non-trivial confinement, Jeremy Shaw, 2006/05/02
Re: Challenge: Find potential use cases for non-trivial confinement, olafBuddenhagen, 2006/05/02