THE place to ask and answer questions about Windows system software development, the Windows Driver Kit (WDK), and Windows kernel-mode debugging (WinDbg).
