How do *you* debug device drivers?

[Henry Spencer]

Short of virtual-machine systems, which (alas) are hard to do on many
machines, there isn't an entirely satisfactory answer.  However, note
that Rob Warnock gave a paper on this very subject at Salt Lake, and
there is at least a summary of it in the proceedings.  His conclusion
was that you can do a lot of debugging in user mode if you really try.
-- 
				Henry Spencer @ U of Toronto Zoology
				{allegra,ihnp4,linus,decvax}!utzoo!henry