Technical Document #44
[Product Version: 5.0.4 and above]
Sending debug information from WinDriver's kernel module to a kernel debugger
Beginning with version 5.0.4 of WinDriver, you can send the debug information
that is received from WinDriver's kernel module and calls to
To direct the debug messages to a kernel debugger, follow these steps:
Windows users can use Microsoft's WinDbg tool, for example; this tool is
distributed with the Windows Driver Kit (WDK) and is part of the Debugging
Tools for Windows package, distributed via the Microsoft web site. |

