• ▼MSDN Library - April 2000
  • ▶Welcome to the MSDN Library
  • ▶Visual Studio 6.0 Documentation
  • ▶Office Developer Documentation
  • ▶Windows CE Documentation
  • ▶Platform SDK
  • ▶SDK Documentation
  • ▼DDK Documentation
    • About DDK Documentation
    • ▶Windows 95 DDK
    • ▶Windows 98 Driver Development Kit
    • ▶Windows 2000 Driver Development Kit
    • ▼Windows NT 4.0 DDK
      • ▶Legal Information
      • ▶Release Notes for V4.0
      • ▼Programmer's Guide
        • ▶Chapter 1 System Initialization Overview
        • ▶Chapter 2 Driver Installation
        • ▶Chapter 3 Building Windows NT Drivers -- The BUILD Utility
        • ▼Chapter 4 Debugging Windows NT Drivers
          • ▼4.1 Debugging Kernel Mode Drivers
            • 4.1.1 Establishing a Kernel Debugging Session
            • 4.1.2 Using a Serial Cable for Kernel Debugging
            • 4.1.3 Using the Free and Checked Builds of Windows NT
            • 4.1.4 Enabling Kernel Debugging on the Target
            • 4.1.5 Accessing the Target Machine's Symbols
            • 4.1.6 Starting WinDbg as the Kernel Debugger
            • 4.1.7 Other Kernel Debugging Options
            • 4.1.8 Debugging a Crash Dump
            • 4.1.9 Connecting to a Running Target
            • 4.1.10 WinDbg as a remote.exe Server
            • 4.1.11 WinDbg Command-line Options
            • 4.1.12 Splitting Symbols from Kernel Drivers
          • ▶4.2 Debugging User-mode Drivers
          • ▶4.3 Building Drivers for Debugging
          • ▶4.4 Debugger Extensions
          • 4.5 Debugging Strategies
        • ▶Appendix A Legacy Driver Installation Methods
      • ▶Kernel-Mode Drivers
      • ▶Graphics Drivers
      • ▶Multimedia Drivers
      • ▶Network Drivers
      • ▶Virtual DOS Drivers
    • ▶Smart Card DDK
  • ▶Windows Resource Kits
  • ▶Knowledge Base
  • ▶Technical Articles
  • ▶Backgrounders
  • ▶Specifications
  • ▶Books
  • ▶Partial Books
  • ▶Periodicals
  • ▶Samples