
include ../../../Makeconf

L4_EXE = ../../l4kernel

all: ../../grubboot.img


l4kernel: $(L4_EXE)
	cp $< $@

l4kernel.o: l4kernel
	@echo Expect 1 warning from \`objcopy\': 1>&2
	objcopy --input-target=binary --output-target=elf32-i386 $< $@
# XXX kludge (works around bug in objcopy): mark the ELF binary as arch = i386
	perl ../../support/binpatch $@ 18 2 3

../../grubboot.img: l4.ld l4kernel.o header.o
	$(LD) -o $@ -T $^

clean:
	rm -f ../../grubboot.img *.o l4kernel
