Symbol files for Hotfixes

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.

--
Gary G. Little
Seagate Technologies, LLC

"Reiner Ziegler" <R.Ziegler@mail.regio.net> wrote in message
news:exyb%23cZjDHA.2432@TK2MSFTNGP10.phx.gbl...

> 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
>
>