49 lines
1.4 KiB
INI
49 lines
1.4 KiB
INI
|
for kk in /boot/vmlinu*-*64; do
|
||
|
|
if [ "$kk" != "/boot/vmlinu*-*64" ]; then
|
||
|
|
have64="true"
|
||
|
|
if cpuid -l; then
|
||
|
|
have_kernel="true"
|
||
|
|
else
|
||
|
|
have_kernel="false"
|
||
|
|
fi
|
||
|
|
fi
|
||
|
|
done
|
||
|
|
for kk in /boot/vmlinu*-*86; do
|
||
|
|
if [ "$kk" != "/boot/vmlinu*-*86" ]; then
|
||
|
|
have32="true"
|
||
|
|
have_kernel="true"
|
||
|
|
fi
|
||
|
|
done
|
||
|
|
if [ "${have_kernel}" != "true" ]; then
|
||
|
|
menuentry --class=find.none "NO SUITABLE KERNELS AVAILABLE" {echo $@ echo "There are no kernels suitable for this machine available."
|
||
|
|
echo ""
|
||
|
|
if ! cpuid -l; then
|
||
|
|
echo "This machine is NOT 64bit capable."
|
||
|
|
echo ""
|
||
|
|
fi
|
||
|
|
echo "There are no suitable kernels available"
|
||
|
|
if [ "${have64}" == "true" ]; then
|
||
|
|
echo ""
|
||
|
|
echo "It appears you are trying to boot a 64bit release on a 32bit machine"
|
||
|
|
echo "This cannot work!"
|
||
|
|
fi
|
||
|
|
echo ""
|
||
|
|
echo "Press Escape to return to the main menu"
|
||
|
|
sleep --interruptible 9999
|
||
|
|
menu_reload
|
||
|
|
}
|
||
|
|
else
|
||
|
|
title=""
|
||
|
|
for kopt in @ARCH@ $kopts @DEFAULT_ARGS@ @BOOT_ARGS@; do
|
||
|
|
if [ -n "$title" ] ; then
|
||
|
|
title="$title $kopt";
|
||
|
|
else
|
||
|
|
title="$kopt";
|
||
|
|
fi;
|
||
|
|
done
|
||
|
|
menuentry "Boot: @DIST_NAME@.@ARCH@ @PROFILE@ " --class=@DIST_NAME@.@ARCH@ "$title" {# set arguments above with the editor
|
||
|
|
linux /boot/vmlinuz-$2
|
||
|
|
initrd /boot/amd_ucode.img /boot/intel_ucode.img /boot/initramfs-@ARCH@.img
|
||
|
|
}
|
||
|
|
fi
|