调试内核（WRK1.2 + WinDbg + WinServer2003sp1）

1、简述

WRK的内核针对是Windows Server 2003 sp1系统环境的，所以我们安装了winserver2003sp1虚拟机

WRK使用WRK-v1.2

WinDbg强大的调试工具

2、编译WRK

切换到WRK-v1.2目录下

设置环境变量E:\WRK-v1.2>set path=e:\wrk-v1.2\tools\x86;%path%，编译需要用到xcopy命令和tools\x86下的工具

编译E:\WRK-v1.2\base\ntos>nmake -nologo x86=

3、安装winserver03sp1并设置

 虚拟机设置->添加串行端口->输出到命名管道（\\.\pipe\com_1），虚拟机设置如下：

进入虚拟机查看C:\boot.ini文件,将如下内容替换到文件中

/debug：指定为debug模式

/debugport=com2：与虚拟机串口端口相对应（上面是串口端口2，所以这里为com2）

/kernel=wrkx86.exe：指定内核

/hal=halacpim.dll：指定硬件抽象层

将编译好的wrkx86.exe和halacpim.dll放到C:\Windows\System32\目录下

[boot loader]
timeout=30
default=multi(0)disk(0)rdisk(0)partition(1)\WINDOWS
[operating systems]
multi(0)disk(0)rdisk(0)partition(1)\WINDOWS="Windows Server 2003, Standard" /noexecute=optout /fastdetect
multi(0)disk(0)rdisk(0)partition(1)\WINDOWS="Windows Server 2003, WRK" /noexecute=optout /fastdetect /debug /debugport=com2 /kernel=wrkx86.exe /hal=halacpim.dll

4、Windbg

下载安装windbg，设置公共符号文件路径：SRV*c:\mss*http://msdl.microsoft.com/download/symbols

如果调试内核，将前面我们编译生成的wrkx86.pdb文件路径加入公共符号路径。reload一下符号文件，就可以进行源码级调试。