GRUB_DIR = target/grub/iso
GRUB_CFG = extra/grub_iso.cfg

$(OUTIMG): $(KERNELFILE) $(GRUB_CFG)
	rm -rf $(GRUB_DIR)/boot/grub
	mkdir -p $(GRUB_DIR)/boot/grub
	cp $(KERNELFILE) $(GRUB_DIR)/boot/kernel.bin
	cp $(GRUB_CFG) $(GRUB_DIR)/boot/grub/grub.cfg
	grub-mkrescue -o $@ $(GRUB_DIR)