TARGETNAME=intcount
TARGETPATH=.
TARGETTYPE=DRIVER

SOURCES=\
  driver.c \
  intcount.c \
  sync.c \
  idt.c \
  cr0trick.c
