Where can I get symbols for wdfldr.sys and wdf01000.sys?

Where can I get symbols for wdfldr.sys and wdf01000.sys?
The debugger cannot find them anywhere on the symbol server.
A google search suggests that they are in the WDK but I am currently
running the WDK as installed from WDK_6000.16386.061101-2205.iso and cannot
find these symbol files anywhere.

Can someone please point me to symbol files for these drivers and if
necessary, new versions of the drivers that match these symbols files (the
version of both files I currently have is 1.5.6000.0)

Doron
Mon Mar 24 14:56:02 CDT 2008

they should be on the symbol server. what is the output of !sym noisy on
symbol load?

d
--
Please do not send e-mail directly to this alias. this alias is for
newsgroup purposes only.
This posting is provided "AS IS" with no warranties, and confers no rights.


"Jonathan Wilson" <jfwfreo@tpgi.com.au> wrote in message
news:%23VN3w5%23iIHA.6092@TK2MSFTNGP06.phx.gbl...
> Where can I get symbols for wdfldr.sys and wdf01000.sys?
> The debugger cannot find them anywhere on the symbol server.
> A google search suggests that they are in the WDK but I am currently
> running the WDK as installed from WDK_6000.16386.061101-2205.iso and
> cannot find these symbol files anywhere.
>
> Can someone please point me to symbol files for these drivers and if
> necessary, new versions of the drivers that match these symbols files (the
> version of both files I currently have is 1.5.6000.0)