Two problems with VirtualKD: VirtualBox & Windows 10

[syzop]

First of all, thank you for creating VirtualKD. Kernel debugging is so much faster now than ‘traditional serial’.

I had to overcome two hurdles to get things working, however, so hopefully these can be fixed or better documented for other users:

On the HOST side:

• The latest version of Virtual Box (5.1.20) does not work with VirtualBoxIntegration.exe. I had to downgrade to VirtualBox 5.0.38.

On the TARGET VM:

• On Windows 10 after installing target\vminstall.exe I also had to run: BCDEDIT /dbgsettings serial

Regards,

Bram

[snowkoan]

Thank you for the second tip! I’ve been puzzling over that for a few days now.

[Author]

Posts