PRB: DDKDEBUG.BAT Copies Some Drivers to the Wrong Directory

• Microsoft Win32 Device Driver Kit (DDK) Windows 95

SYMPTOMS

If you use the \ddk\debug\ddkdebug.bat file to set the debug environment, it does not work correctly. Windows 95 does not use all the debug drivers that the batch file copies.

CAUSE

When you use the ddkdebug.bat file to set the debug environment, the batch file simply copies all the *.vxd files to the \windows\system\vmm32 directory. This directory is not the proper location for some of these drivers.

RESOLUTION

Here are the correct locations to copy the debug drivers in the \ddk\debug directory:

Driver             Location
--------------------------------------------------
bios.vxd           \windows\system\vmm32
configmg.vxd       \windows\system\vmm32
ios.vxd            \windows\system\vmm32
vdd.vxd            \windows\system\vmm32
vdmad.vxd          \windows\system\vmm32
vflatd.vxd         \windows\system\vmm32
vkd.vxd            \windows\system\vmm32
vmm.vxd            \windows\system\vmm32
vpicd.vxd          \windows\system\vmm32
vxdldr.vxd         \windows\system\vmm32
cdtsd.vxd          \windows\system\iosubsys
cdvsd.vxd          \windows\system\iosubsys
disktsd.vxd        \windows\system\iosubsys
diskvsd.vxd        \windows\system\iosubsys
scsiport.pdr       \windows\system\iosubsys
eisa.vxd           \windows\system
isapnp.vxd         \windows\system
lptenum.vxd        \windows\system
ndis.vxd           \windows\system
pccard.vxd         \windows\system
pci.vxd            \windows\system 

Additional query words: 4.00

Keywords : kbprg NTDDKDebug
Version : 4.0
Platform : WINDOWS
Issue type : kbprb