[MSDN Library April 2000] 4.1.6 Starting WinDbg as the Kernel Debugger (83.8888888888889%)
MSDN Library - April 2000 > DDK Documentation > Windows NT 4.0 DDK > Programmer's Guide > Chapter 4 Debugging Windows NT Drivers > 4.1 Debugging Kernel Mode Drivers