diff options
Diffstat (limited to '20_linux_xen-support-xen-realmode-with-grub-efi-boot.patch')
| -rw-r--r-- | 20_linux_xen-support-xen-realmode-with-grub-efi-boot.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/20_linux_xen-support-xen-realmode-with-grub-efi-boot.patch b/20_linux_xen-support-xen-realmode-with-grub-efi-boot.patch new file mode 100644 index 000000000000..a6c4aa247283 --- /dev/null +++ b/20_linux_xen-support-xen-realmode-with-grub-efi-boot.patch @@ -0,0 +1,13 @@ +diff --git a/util/grub.d/20_linux_xen.in b/util/grub.d/20_linux_xen.in +index 3b1f47049..8fb1c87a4 100644 +--- a/util/grub.d/20_linux_xen.in ++++ b/util/grub.d/20_linux_xen.in +@@ -144,7 +144,7 @@ linux_entry_xsm () + lmessage="$(gettext_printf "Loading Linux %s ..." ${version})" + sed "s/^/$submenu_indentation/" << EOF + echo '$(echo "$xmessage" | grub_quote)' +- if [ "\$grub_platform" = "pc" -o "\$grub_platform" = "" ]; then ++ if [ "\$grub_platform" = "pc" -o "\$grub_platform" = "efi" -o "\$grub_platform" = "" ]; then + xen_rm_opts= + else + xen_rm_opts="no-real-mode edd=off" |