kernel-install: (EFI) really install kernel image

Not only add it to the configuration. Fixes QubesOS/qubes-issues#1492
9 years ago · 1430861c6b
parent 8a9d3de1ef
commit 1430861c6b
1 changed files with 1 additions and 0 deletions
--- a/system-config/kernel-xen-efi.install
+++ b/system-config/kernel-xen-efi.install
@ -58,6 +58,7 @@ case "$COMMAND" in
        # then change the default
        sed -e "s/default=.*/default=$KVER/" -i $EFI_DIR/xen.cfg

+        cp "/boot/vmlinuz-$KVER" "$EFI_DIR/"
        dracut -f "$EFI_DIR/initramfs-${KVER}.img" "$KVER"
        ;;
    remove)