TARGETNAME=hxen
TARGETTYPE=DRIVER

INCLUDES=..\include; ..\..\hxen\include; ..\..\common\hxen

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

!if $(AMD64)
ARCH_C_FLAGS=/D__x86_64__
C_DEFINES=$(C_DEFINES) /D__x86_64__
!else
USER_C_FLAGS=/D__i386__
!endif

USER_C_FLAGS=$(USER_C_FLAGS) /D__XEN__ /D__KERNEL__ /D__KXEN__

SOURCES= \
  hxen.c \
  hxen_debug.c \
  hxen_call.c \
  hxen_cpu.c \
  hxen_ioctl.c \
  hxen_load.c \
  hxen_mem.c \
  hxen_ops.c \
  libelf-loader.c \
  libelf-relocate.c \
  libelf-tools.c \
  hxen.rc

AMD64_SOURCES= \
  hxen_debug_sup.asm

