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