D. Device interface
   III. Device driver functions

These should be combined.

   IV. Device driver theory (maybe this should be up higher)
       A. User context routines
       B. Interrupt context routines

C. Locking
D. Error recovery

These are definitely worth expounding upon a great deal.  Most of the
386BSD code didn't do either worth sh*t.

       C. printf/kprintf

And tprintf(), which isn't used widely enough.

       D. DDB

I'm not sure I'd call that a `kernel utility'.  It's more of a
`debugging aid'.


I don't want to discourage anyone who's psyched to do this, but I
think a lot of this will be covered in the 4.4BSD book, if and when it
ever gets published.