PWD:= $(shell pwd)
SRC := /home/rw/l4exp/l4re-snapshot-2013060718/src/l4
OBJ := $(shell pwd)

MODULES_LIST=$(PWD)/l4linux.list
MSP=$(PWD):$(shell tr '\n' : < modules_search_path | sed -e 's/:$$//')

images/l4linux-mag-x86.iso grub2iso:
	@PWD=$(SRC) $(MAKE) -C $(SRC) O=$(OBJ) MODULES_LIST=$(MODULES_LIST) MODULE_SEARCH_PATH=$(MSP) grub2iso E=L4Linux-mag-x86

start: images/l4linux-mag-x86.iso
	qemu-system-i386 -serial stdio -m 1024M -cdrom ./images/l4linux-mag-x86.iso 2>&1 | tee log

clobber:
	rm -r images
