34 lines
1.1 KiB
Diff
34 lines
1.1 KiB
Diff
From bc8ec86089a4f6eb2ea19499a2b335dccdebd577 Mon Sep 17 00:00:00 2001
|
|
From: Ian Campbell <ijc@debian.org>
|
|
Date: Sun, 30 Nov 2014 12:12:52 +0000
|
|
Subject: Arrange to insmod xzio and lzopio when booting a kernel as a Xen
|
|
guest
|
|
|
|
This is needed in case the Linux kernel is compiled with CONFIG_KERNEL_XZ or
|
|
CONFIG_KERNEL_LZO rather than CONFIG_KERNEL_GZ (gzio is already loaded by
|
|
grub.cfg today).
|
|
|
|
Signed-off-by: Ian Campbell <ijc@debian.org>
|
|
|
|
Bug-Debian: https://bugs.debian.org/755256
|
|
Forwarded: http://lists.gnu.org/archive/html/grub-devel/2014-11/msg00091.html
|
|
Last-Update: 2014-11-30
|
|
|
|
Patch-Name: insmod-xzio-and-lzopio-on-xen.patch
|
|
---
|
|
util/grub.d/10_linux.in | 1 +
|
|
1 file changed, 1 insertion(+)
|
|
|
|
diff --git a/util/grub.d/10_linux.in b/util/grub.d/10_linux.in
|
|
index f88a2de10..635c609d6 100644
|
|
--- a/util/grub.d/10_linux.in
|
|
+++ b/util/grub.d/10_linux.in
|
|
@@ -162,6 +162,7 @@ linux_entry ()
|
|
fi
|
|
|
|
echo " insmod gzio" | sed "s/^/$submenu_indentation/"
|
|
+ echo " if [ x\$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi" | sed "s/^/$submenu_indentation/"
|
|
|
|
if [ x$dirname = x/ ]; then
|
|
if [ -z "${prepare_root_cache}" ]; then
|