-----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----- _______________________________________________ L4-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/l4-hurd
