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

PKGNAME		= sys

# The L4 X.2 Spec says the kernel programming interface headers must be 
# in 'l4'
INSTALL_INC_PREFIX =

include $(L4DIR)/mk/include.mk

