TARGETNAME=kxen
TARGETTYPE=DRIVER

INCLUDES=..\include; ..\..\kxen\include; ..\..\common\kxen

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__

SOURCES= \
  kxen.c \
  kxen_debug.c \
  kxen_cpu.c \
  kxen_ioctl.c \
  kxen_load.c \
  kxen_mem.c \
  kxen_ops.c \
  libelf-loader.c \
  libelf-relocate.c \
  libelf-tools.c \
  kxen.rc

AMD64_SOURCES= \
  kxen_debug_sup.asm

