Hi,
I’m trying to debug a user-mode crash with ntsd (started with the -d option to have it controlled by the kernel-mode debugger). I have WinDbg connected to the VM via VirtualKD.
I am able to send commands to the target, but cannot see any output. According to the docs, ntsd sends output to the kernel debugger using DbgPrint, but these calls seem to be dropped for some reason by VirtualKD. Is this a known issue, and if so, any solutions/workarounds?
TIA