[Windows]windbg kernel debugging

debugging virtual machine using windbg:
http://www.ndis.com/ndis-debugging/virtual/vmwaresetup.htm

Steps:
1. (One time) On host machine, install WinDbg
2. On the target machine (i.e., the VM running on HyperV), ran following in cmd:

   bcdedit -debug on
   bcdedit -dbgsettings serial debugport:1 baudrate:115200

3. In HyperV’s control panel, open the settings for the VM.  Under COM1, add a Named Pipe called “MyVIrtualCom1”.
4. Create a shortcut for windbg on host machine, make it run as administrator (otherwise, you can not access the com). The command to run windbg is something like:

C:\Debuggers\windbg.exe -y SRV*C:\symbols*http://msdl.microsoft.com/download/symbols -k com:port=\\.\pipe\MyVirtualCom1,pipe,resets=0,reconnect

dumpbin: 查看binary文件所需要的symbols
VC自带的工具.

dumpbin /imports foo.sys