Faster Windows Kernel debugging with Virtual Machines

VirtualKD is a tool that improves your kernel debugging performance with VMWare and VirtualBox. It seamlessly integrates with WinDbg and dramatically reduces debugging latency.

Compatible with Windows 10 and VirtualBox 5.x.


  • Significantly improves kernel debugging performance with VMWare and VirtualBox.
  • Supports Windows XP to Windows 10, 32-bit and 64-bit.
  • Fixes truncated Driver Verifier load messages.
  • Compatible with WinDbg and VisualDDK.
  • Easy installation.

System Requirements

  • Microsoft Windows (incl. x64) 10/8.1/8/7/2008/Vista/2003/XP
  • VirtualKD supports both x86 and x64 guest operating systems and was tested with the following OSes:
  1. Windows 10 64-bit
  2. Windows 10 32-bit
  3. Windows 8 64-bit
  4. Windows 7 64-bit
  5. Windows Vista 32-bit
  6. Windows Vista 64-bit
  7. Windows XP 32-bit
  8. Windows XP 64-bit
  9. Windows Server 2003 32-bit

Normally, all modern versions of VMWare are supported. The following versions were tested:

  1. VMWare Server 1.0.5
  2. VMWare Server 2.0.0
  3. VMWare Workstation 6.5.1
  4. VMWare Workstation 8.0.4

VirtualBox: we would like to thank Klaus Espenlaub for integrating the VirtualKD stub into VirtualBox. Modern VirtualBox versions will automatically work with VirtualKD as long as it is enabled by running the VirtualBoxIntegration.exe tool.

Download from here.

%d bloggers like this: