13 lines
358 B
INI
13 lines
358 B
INI
insmod echo
|
|
insmod gzio
|
|
insmod minicmd
|
|
insmod normal
|
|
insmod test
|
|
set timeout=@timeout@
|
|
if [ "$grub_platform" = "efi" ]; then set EFI_BOOTARGS='@efi_bootargs@'; fi
|
|
if [ "$grub_platform" = "efi" -a "$grub_cpu" = "x86_64" ]; then
|
|
set linux_suffix='efi'
|
|
fi
|
|
if [ "$grub_platform" = "pc" ]; then set linux_suffix='16'; fi
|
|
if [ ! "$lang" ]; then lang=@LOCALE@; fi
|