TARGETNAME=xbp
TARGETPATH=..\bin
TARGETTYPE=DRIVER
TARGETLIBS=..\lib\*\svm.lib 
INCLUDES=.;..\svm 


DRIVER_ALIGNMENT=0x80
BUFFER_OVERFLOW_CHECKS=0
USER_C_FLAGS=/Od

# TARGET_DBG_DEFINES=/DNT_SUPPORT


SOURCES=\
    xbp.c \
    hvm.c \
    portio.c \
    comprint.c \
    hypercalls.c \
    traps.c \
    interrupts.c \
    common.c \
    memory.c \
    snprintf.c \
    fiximage.c


AMD64_SOURCES=\
    msr.asm \
    svm-asm.asm \
    common-asm.asm \
    regs.asm \
    cpuid.asm \
    intstubs.asm \
    xencall.asm 
