Symbol files for Hotfixes

[Reiner Ziegler]

Hi out there,

I'm running XP Professional SP1 and have installed several Hotfixes.
Specifically patch Q811493 which affects NTOSKRNL.EXE.
I'm currently writing a device driver and therefore need urgent
the associated symbol file (NTOSKRNL.DBG) for debugging
purposes.
Does anyone knows where at Microsoft I can get the file?


Thanks in advance

Reiner

 

[Gary G. Little]

You're writing a device driver for XP which means that you are using DDK
build 3790, which means you are using BUILD/SOURCES which means you are
using the compiler in the DDK which means you are generating a PDB file when
you do a checked build because DBG files are no longer used. You should be
using the symbol server which will automagically ensure you are looking at
the correct set of symbols.

It sounds like you probably need to down load the latest WinDbg (6.2.0013)
as well if your version of WinDbg is looking for DBG files.