MEDIA_TYPE = generic

KERNEL = $(DEST)/kernel.debian
INITRD = $(DEST)/initrd.debian
TARGET = $(INITRD) $(KERNEL) $(DEST)/debian.exec $(DEST)/parmfile.debian
EXTRANAME = $(MEDIUM)/

MANIFEST-INITRD = "initrd"
MANIFEST-KERNEL = "kernel for vmreader ipl"

$(DEST)/debian.exec: boot/s390/exec
	install -m644 $^ $@
	update-manifest $@ "ipl script"

$(TEMP)/kernel.debian: $(TEMP)/vmlinuz
	ln $+ $@
