Windows System Software -- Consulting, Training, Development -- Unique Expertise, Guaranteed Results

Before Posting...

Please check out the Community Guidelines in the Announcements and Administration Category.

More Info on Driver Writing and Debugging


The free OSR Learning Library has more than 50 articles on a wide variety of topics about writing and debugging device drivers and Minifilters. From introductory level to advanced. All the articles have been recently reviewed and updated, and are written using the clear and definitive style you've come to expect from OSR over the years.


Check out The OSR Learning Library at: https://www.osr.com/osr-learning-library/


ntdll.dbg and kernel32.dbg

OSR_Community_UserOSR_Community_User Member Posts: 110,217
I'm trying to run Windbg on an executable file.
But I was missing the files: ntdll.dbg and kernel32.dbg.
So I installed them from the Visual Studio 6 debug directory.
The only problem is, that the versions (timestamp) are different!
I searched Service Pack 5 (which I installed a week ago), but I was unable
to find it there. Actually, I couldn't find this file (ntdll.dbg)
anywhere.

Where can I find it? I need the one that will match my service pack too.

Many thanks, Alon.

Comments

  • OSR_Community_UserOSR_Community_User Member Posts: 110,217
    http://www.microsoft.com/ntserver/nts/downloads/recommended/SP6/ has
    links for NT 4.0 SP6a, including symbols. it wasn't clear to me in the
    below message that you installed this or not, or you're talking about
    NT or VC service packs.

    -----Original Message-----
    From: [email protected]
    To: [email protected]
    Subject: [windbg] ntdll.dbg and kernel32.dbg
    Date: Wed, 29 Mar 2000 11:24:21

    I'm trying to run Windbg on an executable file. But I was missing the
    files: ntdll.dbg and kernel32.dbg. So I installed them from the Visual
    Studio 6 debug directory. The only problem is, that the versions
    (timestamp) are different! I searched Service Pack 5 (which I
    installed a week ago), but I was unable to find it there. Actually, I
    couldn't find this file (ntdll.dbg) anywhere.

    Where can I find it? I need the one that will match my service pack
    too.

    Many thanks, Alon.
Sign In or Register to comment.

Howdy, Stranger!

It looks like you're new here. Sign in or register to get started.

Upcoming OSR Seminars
OSR has suspended in-person seminars due to the Covid-19 outbreak. But, don't miss your training! Attend via the internet instead!
Internals & Software Drivers 19-23 June 2023 Live, Online
Writing WDF Drivers 10-14 July 2023 Live, Online
Kernel Debugging 16-20 October 2023 Live, Online
Developing Minifilters 13-17 November 2023 Live, Online