Windows Kernel Debugger booster for VMWare and VirtualBox
2.0
VirtualKD allows speeding up Windows kernel module debugging using VMWare and VirtualBox virtual machine. A basic description of the project and using guidelines are located at the project web page:
http://virtualkd.sysprogs.org/, while this pages contain information about source code structure and building/debugging hints.
The directory with source code contains the following subdirectories:
| Subdirectory | Contents |
| BUNDLE | Contains a batch for building full set of binary files |
| DATABASE | Contains patching signatures for different versions of VMWare |
| KDCLIENT | Sources for the DLL that is loaded to VMWARE-VMX.EXE and implements host-side support |
| KDPATCH | Sources for a legacy driver that patches KDCOM.DLL redirecting requests to KDVM.DLL |
| KDVM | Sources for the KD extension DLL that sends all debug packets over a fast interface |
| PIPEPROXY | Sources for a Named Pipe Proxy useful in debugging |
| RPCDISPATCH | Source files for host part of debug support. Used by KDCLIENT and PIPEPROXY modules |
| VMMON | Sources for the Virtual Machine Monitor program |
| VMXPATCH | Sources for a simple console program for patching VMWare |
You can read the information about the role of each component in the big picture
in this article or explore documentation pages for each class.
