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

This commit is contained in:
Arne Fitzenreiter
2012-11-22 19:24:11 +01:00
parent 10885fa912
commit 8df8a8690b

View File

@@ -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