title: Debugging Windows Kernel from Linux
body: <p>I used to debug the Windows Kernel using <strong>VirtualKD</strong>, <strong>WinDBG</strong> and a single Virtual Machine.</p>
  
  <p>Recently I got a Linux machine, and now I wonder- What's the easiest way to debug the Windows Kernel when your host is unable to run <strong>VirtualKD/WinDBG*</strong>?</p>
  
  <p>I assume the solution will require two Virtual Machines, but I rather have two instances hosted on my actual machine rather than having an instance residing inside another virtual instance...</p>
  
  <p>Is there anyway to make that work?</p>
  
  <p>Thanks in advance!</p>
  
  <p>*Wine is the last resort for stability reasons...</p>