+_bootloader_iso: ${CFGROOT} ${ISOROOT}
+ mkdir -p "$${ISOROOT}/boot/grub/"
+ cp -L "$${CFGROOT}/vmlinuz" "$${CFGROOT}/initrd.img" "$${ISOROOT}"
+ printf '%s\n' "insmod all_video" "set gfxmode=auto" "load_video" "insmod gfxterm" \
+ >"$${ISOROOT}/boot/grub/grub.cfg"
+ printf '%s\n' "set timeout=10" "default=${release}" \
+ "menuentry 'Debian ${release}' --id '${release}' {" \
+ "linux '/vmlinuz' boot=live" "initrd '/initrd.img'" "}" \
+ >>"$${ISOROOT}/boot/grub/grub.cfg"
+ -[ -f "$${ISOROOT}/install/initrd.gz" -a -f "$${ISOROOT}/install/linux" ] && \
+ printf '%s\n' "menuentry 'Install Debian' --id 'install' {" \
+ "linux '/install/linux'" "initrd '/install/initrd.gz'" "}" \
+ >>"$${ISOROOT}/boot/grub/grub.cfg"
+
+_efi_mount: ${PBOOT}
+ -umount "efi/"
+ mkdir -p -m 755 "efi/"
+ mount -t vfat -o loop "$${PBOOT}" "efi/"
+
+_efi_umount: _efi_mount
+ sync
+ umount efi/ && rmdir efi/
+