PKGDIR		?= ../..
L4DIR		?= $(PKGDIR)/../..

TARGET		= ex_vmtest
SYSTEMS		= x86-l4f
SRC_C		= main.c
REQUIRES_LIBS   = libvcpu l4re_c-util libpthread


include $(L4DIR)/mk/prog.mk