TARGETNAME=tlbprofiler
TARGETPATH=bin
TARGETTYPE=DRIVER



SOURCES=tlbprofiler.c memory.c
AMD64_SOURCES=asmtests.asm



