Setting Up WDEB386 as a VxD

The Ddkdebug.bat batch file creates a file called WDEBVXD.INS (the original file name is WDEBVXD.TMP) in the Debug subdirectory of the directory you installed the DDK in. You should insert the contents of this file into the [386Enh] section of System.ini. Make sure you comment out the following WDEB386 device lines from the [Enh386] section of System.ini when you restore the retail version of Windows 95:

Device=WDEB386.EXE
Device=DEBUGCMD.VXD
 

For information about restoring the retail version of Windows 95, see "How do I set up WDEB386?"