# The sources for the WKD device driver:

TARGETNAME=wkd
TARGETPATH=.
TARGETTYPE=DRIVER

TARGETLIBS=\ddk\public\sdk\lib\*\ntdll.lib
INCLUDES=\rrhddk\wkd;\ddk\public\sdk\inc;\ddk\private\ntos\inc;\mstools\h

SOURCES=wkdinit.c dispatch.c unload.c

NTTEST=
OPTIONAL_NTTEST=

