[MSDN Library June 1998] 4.1.6 Starting WinDbg as the Kernel Debugger (37.3743086978381%)
MSDN Library Visual Studio 6.0 > DDK Documentation > Microsoft Windows NT 4.0 DDK > Programmer's Guide > Chapter 4 Debugging Windows NT Drivers > 4.1 Debugging Kernel Mode Drivers