config.bat

   1 rem This is the root directory of the ddk.\r
   2 set ddkdir=c:\winddk\6001.18001\r
   3 \r
   4 rem Next two lines are duplicated in Makefile, edit both when adding files or changing pxe style.\r
   5 set c=driver.c registry.c bus.c disk.c aoe.c protocol.c debug.c\r
   6 set pxestyle=asm\r