PKGDIR		?= ../..
L4DIR		?= $(PKGDIR)/../..
SYSTEMS		= x86-l4v2 x86-l4x0

TARGET		= simple_ts
MODE		= sigma0
DEFAULT_RELOC	= 0x01400000
PRIVATE_INCDIR  = .

SRC_C		= main.c
LIBS		= -lgeneric_ts-server -lrmgr -levents -lgeneric_ts \
		  -lparsecmdline -ll4env_err

PRIVATE_INCDIR	= $(PKGDIR)/server/src

include $(L4DIR)/mk/prog.mk
