diff options
Diffstat (limited to 'stubdom/grub.patches/99minios')
| -rw-r--r-- | stubdom/grub.patches/99minios | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/stubdom/grub.patches/99minios b/stubdom/grub.patches/99minios index 6c481b1774..6296ae2c5f 100644 --- a/stubdom/grub.patches/99minios +++ b/stubdom/grub.patches/99minios @@ -151,6 +151,14 @@ Index: grub/stage2/builtins.c /* print */ static int +@@ -2910,6 +2910,7 @@ + switch (kernel_type) + { + case KERNEL_TYPE_MULTIBOOT: ++ case KERNEL_TYPE_PV: + if (mb_cmdline + len + 1 > (char *) MB_CMDLINE_BUF + MB_CMDLINE_BUFLEN) + { + errnum = ERR_WONT_FIT; @@ -3776,6 +3802,7 @@ }; |