学生实验指导手册：wrk平台安装和调试

《学生实验指导手册：wrk平台安装和调试》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、学生实验指导：WRK平台安装和调试1、安装配置WRK平台1）首先把实验需要的文件下载到本地d:WRK-CRK目录下。2）在cmd命令行中输入：a.mkdirc:wrk（建立一个新目录）b.setwrk=c:wrk（上面建立的目录）c.xcopy/crehkdqd:WRK-CRKWRK-v1.2%wrk%（把WRK内核代码和工具拷到新建立的目录下）d.setarch=x86[amd64]（设置机器的CPU架构，x86还是amd64）指定编译目标结构e.setpath=%wrk%tools%arch%;%path%（设置WRK平台编译工具路径）f.

2、cd%wrk%basetos（进入编译工具目录）g.nmake–nologo%arch%=（编译WRK内核）mkdirc:wrksetwrk=c:wrkxcopy/crehkdqd:WRK-CRKWRK-v1.2%wrk%setarch=x86setpath=%wrk%tools%arch%;%path%cd%wrk%basetosnmake-nologo%arch%=3）如果编译成功的话，%wrk%basetosbuildexe目录下会生成两个文件，wrkx86.exe和wrkx86.pdb。2、实现WRK平台的联机调试S

3、tep1:安装虚拟机，并进行适当的配置。（1）本实验建议使用VirtualPC虚拟机。双击安装虚拟机，完成后，进行更新升级。（2）在虚拟机控制台中，File选项下，选择VirtualDiskWizard，准备载入win2003镜像。下一步，选择EditanExistingvirtualdisk，在路径中找到windows2003镜像的路径，比如C:WRK-v1.2Win2k3SP1Image。一直下一步，直到完成。（1）启动虚拟机，在虚拟机启动后数分钟后，单击虚拟机控制台窗口上的settings按钮。在SharedFolders栏的浏览文件夹选项中（一定

4、要虚拟机启动几分钟之后才能设置，否则按钮为灰色，不可改），把WRK工作目录（比如c:wrk）映射到Z盘（如图）。并且选中ShareEveryTime，这样，就把客户机中的Z盘映射到了主机的WRK工作目录。注：映射到Z盘的目的是为了虚拟机可以和主机进行文件共享，若设置其他盘符（如Y也可），只需把后面用到Z盘的地方进行相应的改变。（1）在Settings中的COM1选项中，选中Namedpipe，输入：\.pipedebug。这就把客户机OS的COM1与主机OS的pipe联系到了一起（如图）。Step2:安装WinDbg调试器。（1）安装WinDbg到自

5、己指定的工作目录（如C:ProgramFilesdbg）。（2）在运行中输入“cmd”，启动命令行窗口。（3）在窗口中输入：setwindbgargs=-kcom:pipe,port=\.pipedebug,resets=0,reconnect（用于设置WinDbg命令行参数）。set_NT_SYMBOL_PATH=%wrk%basetosbuildexe;%wrk%WS03SP1HALSx86halacpim(用于指定kernel和HAL的符号路径)。（1）到WinDbg工作目录(如：C:ProgramFilesdbg>)中输

6、入：学校机房：cdwindbg.exe%windbgargs%(用于启动WinDbg调试器)。如果成功启动，则在工作窗口会显示：Waitingtoreconnect…（如图）Step3:配置客户机OS，使得主机可以启动带有远程内核调试的WRK。（1）在虚拟机中的Windows2003中，运行cmd命令，打开命令行窗口。（2）在cmd窗口中输入：xcopyz:basetosbuildexewrkx86.exec:windowssystem32xcopyz:WS03SP1HALSx86halacpimhalacpim.dllc:wind

7、owssystem32注：有些虚拟机命令行打字可能会出现问题，只需重启一次即可。（3）编辑c:boot.ini文件，以便可以从WRK启动。在“控制面板”中，选择system。在systemproperties窗口，选择Advanced，点击Settings。在StartupandRecovery窗口点击编辑，弹出c:boot.ini窗口。（4）在c:boot.ini窗口中，加上：multi(0)disk(0)rdisk(0)partition(1)WINDOWS=”MicrosoftWindowsServer2003,WRK”/noexecute=

8、optin/fastdetect/debug/deb