From: Arne Fitzenreiter <arne_f@ipfire.org>
Date: Thu, 22 Nov 2012 18:24:11 +0000 (+0100)
Subject: linux-pae: if pae is supported set pae kernel for next boot.
X-Git-Tag: v2.13-beta1~43
X-Git-Url: http://git.ipfire.org/?p=people%2Fpmueller%2Fipfire-2.x.git;a=commitdiff_plain;h=8df8a8690bb774bc574c47c74a5964be9858be73

linux-pae: if pae is supported set pae kernel for next boot.
---

diff --git a/src/paks/linux-pae/install.sh b/src/paks/linux-pae/install.sh
index 60f8bbb42e..915b2f0ba8 100644
--- a/src/paks/linux-pae/install.sh
+++ b/src/paks/linux-pae/install.sh
@@ -71,3 +71,9 @@ echo "  savedefault $ENTRY" >> /boot/grub/grub.conf
 # Create new module depency
 #
 depmod -a $KVER-ipfire-pae
+
+# Default pae and request a reboot if pae is supported
+if [ ! "$(grep "^flags.* pae " /proc/cpuinfo)" == "" ]; then
+	grub-set-default $ENTRY
+	touch /var/run/need_reboot
+fi