Re: A Question to throw at you guys

[Tom Bachmann]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

> Without unsafeties as the memory access of DMA chips, some hardware
> could be dealt this way, and the size of the TCB lowered, couldn't they?

If I remember correctly, there were a few technical difficulties, but
yes, tcb could be made smaller this way.
But this actually is not related to the user providing the driver: if a
driver cannot cause any harm, except if it is used (and every user is
free to decide to or not to use it), it is effectively not part of the
tcb anymore.
- --
- -ness-
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.5 (GNU/Linux)

iD8DBQFFWdmovD/ijq9JWhsRAn0YAKCAkA2WrzWDa/R+uoG2jSq9wbNjKgCeMEhH
T0t2ls5JILS1Ajk3k+nqQdM=
=okqO
-----END PGP SIGNATURE-----