TARGETNAME=XenPatch
TARGETTYPE=DRIVER

TARGETLIBS=\
  $(DDK_LIB_PATH)\wdmsec.lib \

C_DEFINES=$(C_DEFINES) -DXENTARGET=\"XenPatch\" -DKXEN_GUEST

SOURCES= \
  xenpatch.c \
  quiesce.c \
  hvm.c \
  xenutl.c \

NOT_SO_MUCH= \
  evtchn.c \

I386_SOURCES= \
  i386\asmstubs.c \
  i386\tprhandler.asm \

