Two problems with VirtualKD: VirtualBox & Windows 10

Sysprogs forums Forums VisualDDK/VirtualKD discussion Two problems with VirtualKD: VirtualBox & Windows 10

This topic contains 1 reply, has 2 voices, and was last updated by  snowkoan 5 months, 1 week ago.

Viewing 2 posts - 1 through 2 (of 2 total)
  • Author
    Posts
  • #11029

    syzop
    Participant

    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

    #11249

    snowkoan
    Participant

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

Viewing 2 posts - 1 through 2 (of 2 total)

You must be logged in to reply to this topic.