VirtualKD is a tool that improves your kernel debugging performance with VMWare and VirtualBox. VirtualKD - Windows Kernel Debugger Booster for Virtual Machines