grub-theme-settings/cfg/kernels.cfg

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