Depurando el Kernel de Windows desde Linux

Solía ​​depurar el kernel de Windows usandoVirtualKD, WinDBG y una sola máquina virtual.

Recientemente obtuve una máquina Linux y ahora me pregunto: ¿Cuál es la forma más fácil de depurar el Kernel de Windows cuando su host no puede ejecutarse?VirtualKD / WinDBG *?

Supongo que la solución requerirá dos máquinas virtuales, pero tengo dos instancias alojadas en mi máquina real en lugar de tener una instancia que reside dentro de otra instancia virtual ...

¿Hay alguna forma de hacer que funcione?

¡Gracias por adelantado!

* El vino es el último recurso por razones de estabilidad ...