windows driver for XP x64

NTDEV
1

Hi folks,

I am developing windows para-virtual drivers for Xen. I meet some
problems when building windows drivers for XP x64 edition. I know that
WDK upper 6000 has not get a build environment for XP x64 edition. WDK
6000 release note tells me that ’ Use the Windows Server 2003 x64 build
environment icons to build free or checked x64 drivers for windows XP’.
So I just copy windows 2003 x64 driver binary to XP x64 folder of my
driver installer. But when I use windows 2003 x64 driver binary on XP
x64, there are lots of bugs which I cannot reproduce on windows 2003 x64
system. Is there anything wrong when I use windows 2003 x64 driver
binary on XP x64 system?

Another problem is that I cannot get any debug output on XP x64 with
windbg. When I connect a debug mode XP x64 with windbg, windbg cannot
get any driver debug output from KdPrint and XP x64 cannot boot up. It
just hangs at windows XP start screen. This won’t happen on windows
server 2003. Anything I forget?

Thanks
Wayne

2

To answer your first question: The x64 XP kernel is the same kernel as the
Server 2003 kernel so you use the Server 2003 build environment to build x64
XP drivers.

Bill Wandel

From: xxxxx@lists.osr.com [mailto:xxxxx@lists.osr.com]
On Behalf Of Wayne Gong
Sent: Monday, December 15, 2008 10:08 AM
To: Windows System Software Devs Interest List
Subject: [ntdev] windows driver for XP x64

Hi folks,

I am developing windows para-virtual drivers for Xen. I meet some problems
when building windows drivers for XP x64 edition. I know that WDK upper 6000
has not get a build environment for XP x64 edition. WDK 6000 release note
tells me that ’ Use the Windows Server 2003 x64 build environment icons to
build free or checked x64 drivers for windows XP’. So I just copy windows
2003 x64 driver binary to XP x64 folder of my driver installer. But when I
use windows 2003 x64 driver binary on XP x64, there are lots of bugs which I
cannot reproduce on windows 2003 x64 system. Is there anything wrong when I
use windows 2003 x64 driver binary on XP x64 system?

Another problem is that I cannot get any debug output on XP x64 with windbg.
When I connect a debug mode XP x64 with windbg, windbg cannot get any driver
debug output from KdPrint and XP x64 cannot boot up. It just hangs at
windows XP start screen. This won’t happen on windows server 2003. Anything
I forget?

Thanks
Wayne

NTDEV is sponsored by OSR

For our schedule of WDF, WDM, debugging and other seminars visit:
http://www.osr.com/seminars

To unsubscribe, visit the List Server section of OSR Online at
http://www.osronline.com/page.cfm?name=ListServer

3

Windows XP x64 == client SKU of Windows Server 2003 x64; the kernel binaries are identical. Are you sure that these bugs are not envinonmental to the machine in question?

? S

From: Wayne Gong
Sent: Tuesday, December 16, 2008 13:30
To: Windows System Software Devs Interest List
Subject: [ntdev] windows driver for XP x64

Hi folks,

I am developing windows para-virtual drivers for Xen. I meet some problems when building windows drivers for XP x64 edition. I know that WDK upper 6000 has not get a build environment for XP x64 edition. WDK 6000 release note tells me that ’ Use the Windows Server 2003 x64 build environment icons to build free or checked x64 drivers for windows XP’. So I just copy windows 2003 x64 driver binary to XP x64 folder of my driver installer. But when I use windows 2003 x64 driver binary on XP x64, there are lots of bugs which I cannot reproduce on windows 2003 x64 system. Is there anything wrong when I use windows 2003 x64 driver binary on XP x64 system?

Another problem is that I cannot get any debug output on XP x64 with windbg. When I connect a debug mode XP x64 with windbg, windbg cannot get any driver debug output from KdPrint and XP x64 cannot boot up. It just hangs at windows XP start screen. This won’t happen on windows server 2003. Anything I forget?

Thanks
Wayne

—
NTDEV is sponsored by OSR

For our schedule of WDF, WDM, debugging and other seminars visit:
http://www.osr.com/seminars

To unsubscribe, visit the List Server section of OSR Online at http://www.osronline.com/page.cfm?name=ListServer

4

For second question: Please verify that:

  • You configured your x64 XP machine to debug mode (Start -> Run -> msconfig -> BOOT.INI tab -> Advanced Options: verify that Debug is turned on).
  • In WinDbg, try ‘ed nt!Kd_DEFAULT_Mask 0xFF’ command

S.

5

> - In WinDbg, try ‘ed nt!Kd_DEFAULT_Mask 0xFF’ command

This is for Vista and later.

–
Maxim S. Shatskih
Windows DDK MVP
xxxxx@storagecraft.com
http://www.storagecraft.com