Learning to work with WinDbg

Hello,

I am writing a Win2K Bus Driver for a hypothetical bus, this being my first
time writing a driver on Windows. I need to be able to verify some things
in my driver and also debug my driver using WinDbg. I have WinDbg setup
and have been playing with it a little.

Could somebody recommend a good book or websites or any other documentation
on debugging drivers using WinDbg ? Is there a separate newsgroup for this
also ?

As always, I appreciate any pointers you can give me.

Thanks!
Puja