-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Richard Braun schrieb: > On Mon, Nov 13, 2006 at 09:30:23PM +0100, Tom Bachmann wrote: >> I've read and can easily imagine that userspace drivers simplify driver >> development a lot (the reference is to a userspace usb stack written for >> l3, I don't know the exact paper anymore, though). > > I don't say drivers must be in kernel space. I only state they should be > part of the TCB, to some extent (isolated address spaces and I/O > resources helps a lot, of course). >
Yep, this is also my pov (well, it'd be great to have drivers that are not part of the tcb, but I cannot imagine a feasible way of achieving this). - -- - -ness- -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.5 (GNU/Linux) iD8DBQFFWN7qvD/ijq9JWhsRAhHGAJ9MQU3iMcZEwxJJRP3/+4OswdBmjwCfZk8d MYg4Lv3YBlGgcxymDfTisZY= =WMG6 -----END PGP SIGNATURE----- _______________________________________________ L4-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/l4-hurd
