path: root/distro/debian/64/install.sh

install_live() {
	install -d "$KERNELDIR/debian/64" "$DATADIR/debian"
	cp "isofiles/$ISOFILE" "$DATADIR/debian/"
	mount_iso
	cp "$ISOMNT/live/vmlinuz" "$ISOMNT/live/initrd.img" "$KERNELDIR/debian/64/"
	umount_iso
}