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

IDL 		= generic_ts.idl
IDL_FLAGS	= -fserver-parameter -fl4types
SYSTEMS		= x86-l4v2 x86-l4x0
IDL_EXPORT_SKELETON = generic_ts.idl

include $(L4DIR)/mk/idl.mk
