Blame SOURCES/0115-Use-linux16-when-appropriate-880840.patch

0dc71c
From ba749818b7a53df63d887cb17497f82c78ca934c Mon Sep 17 00:00:00 2001
0dc71c
From: Peter Jones <pjones@redhat.com>
0dc71c
Date: Mon, 28 Oct 2013 10:05:07 -0400
0dc71c
Subject: [PATCH 115/143] Use linux16 when appropriate (#880840)
0dc71c
0dc71c
The kernel group really would prefer that we use the 16 bit entry point
0dc71c
on x86 bios machines.
0dc71c
0dc71c
Resolves: rhbz#880840
0dc71c
0dc71c
Signed-off-by: Peter Jones <pjones@redhat.com>
0dc71c
---
0dc71c
 util/grub.d/10_linux.in | 9 +++++++--
0dc71c
 1 file changed, 7 insertions(+), 2 deletions(-)
0dc71c
0dc71c
diff --git a/util/grub.d/10_linux.in b/util/grub.d/10_linux.in
0dc71c
index e762e1f..600bfd2 100644
0dc71c
--- a/util/grub.d/10_linux.in
0dc71c
+++ b/util/grub.d/10_linux.in
0dc71c
@@ -74,6 +74,11 @@ linux_entry ()
0dc71c
   type="$3"
0dc71c
   args="$4"
0dc71c
 
0dc71c
+  sixteenbit=""
0dc71c
+  case "$machine" in
0dc71c
+    i?86|x86_64) sixteenbit="16" ;;
0dc71c
+  esac
0dc71c
+
0dc71c
   if [ -z "$boot_device_id" ]; then
0dc71c
       boot_device_id="$(grub_get_device_id "${GRUB_DEVICE}")"
0dc71c
   fi
0dc71c
@@ -132,7 +137,7 @@ linux_entry ()
0dc71c
 EOF
0dc71c
   else
0dc71c
     sed "s/^/$submenu_indentation/" << EOF
0dc71c
-	linux	${rel_dirname}/${basename} root=${linux_root_device_thisversion} ro ${args}
0dc71c
+	linux${sixteenbit} ${rel_dirname}/${basename} root=${linux_root_device_thisversion} ro ${args}
0dc71c
 EOF
0dc71c
   fi
0dc71c
   if test -n "${initrd}" ; then
0dc71c
@@ -142,7 +147,7 @@ EOF
0dc71c
 EOF
0dc71c
     else
0dc71c
       sed "s/^/$submenu_indentation/" << EOF
0dc71c
-	initrd	${rel_dirname}/${initrd}
0dc71c
+	initrd${sixteenbit} ${rel_dirname}/${initrd}
0dc71c
 EOF
0dc71c
     fi
0dc71c
   fi
0dc71c
-- 
0dc71c
1.9.3
0dc71c