TARGETNAME=test        #driver name
TARGETPATH=.                #output path
TARGETTYPE=DRIVER
SOURCES=vm.c\
        ia_specific.c\
        virtualmachine.c\
        kegetcurrentprocessornumber.c\
        servicehandle.c
        
#TARGETLIBS=.\iNTOSKRNL.LIB #use updated version of ntoskrnl, own version!!