all: configure

VERBOSE=@

.PHONY: configure

configure:
	$(VERBOSE)echo "create standard configuration of l4linux, l4env, fiasco ..."
	$(MAKE) -C l4 oldconfig O=../build/l4
	$(MAKE) -C l4linux-2.6 O=../build/linux oldconfig CONFIG_L4_L4DIR=`pwd`/l4
	$(MAKE) -C l4linux-2.6 O=../build/linux_drv oldconfig CONFIG_L4_L4DIR=`pwd`/l4
