请教一个简单的问题，如何在windbg下面查看Bus_KdPrint_Def的输出？

我想通过windbg一步一步来跟踪一下BUSENUM.C中的输出语句，请问该怎么做呢？我得步骤如下：

1. 编译D:\WINDDK\3790.1830\src\general\toaster，生成所有的sys文件和dll文件
2. 启动windbg，选择Kernel Debugging 方式, 因为只有一台pc，所以选择local模式
3. 设置symbol file path为D:\WINDDK\3790.1830\src\general\toaster\disk\chk_wxp_x86\i386;D:\WINDDK\3790.1830\src\general\toaster\func\incomplete1\objchk_wxp_x86\i386;D:\WINDDK\3790.1830\src\general\toaster\toastpkg\toastcd\i386，也就是所有toaster的pdb文件路径
4. 设置source file path 为D:\WINDDK\3790.1830\src\general\toaster\bus，也就是busenum.c等文件的存放路径。

现在的问题是，我如何在windbg中一步一步来调试busenum.c呢？也就是观察D:\WINDDK\3790.1830\src\general\toaster\disk\chk_wxp_x86\i386\BusEnum.sys的输出？

是不是需要启动“安装硬件驱动程序”向导，然后在os装载BusEnum.sys的时候观察？具体怎么做呢？

谢谢。

补充一下我的一些问题：
1.busenum应该是kernel mode驱动程序，是否意味着我必须在两个host（或者本机需要装虚拟机）来调试呢？只有一个pc是不是不能查看debug 输出？

2. 编译的时候是否要制定DBG，否则Bus_KdPrint_Def为空。但是我用的checkedbuild，这个宏应该自动定义了。

用了一天时间搞定问题！！借助vmware，跟踪了一把busenum！vmware＋windbg，很好，很强大。:-)

请问在WinDbg下怎么看KdPrint输出？我用WinDbg不知道怎么操作，谢谢