PKGDIR	= .
L4DIR    := $(abspath $(dir $(lastword $(MAKEFILE_LIST)))../../../tudos/src/l4)
OBJ_BASE := $(abspath $(dir $(lastword $(MAKEFILE_LIST)))../../../tudos/obj/l4/amd64)

MODE	= sigma0
L4_LIBS	= -static -nostdlib $(GCCLIB)
REQUIRES_LIBS = libc_minimal l4sys-direct l4sys
DEFINES += -DL4_MINIMAL_LIBC

TARGET	= faulty
SRC_C	= faulty.c

include $(L4DIR)/mk/prog.mk
