d9dca6cb1a
At the moment, the ability to select the kernel with which to boot is implemented only for grub (grub-pc, grub-efi, ieee1275boot). note that renamed STAGE1_KFLAVOUR to STAGE1_KFLAVOURS, as multiple kernels can now be added.
10 lines
373 B
INI
10 lines
373 B
INI
|
|
default='linux'
|
|
|
|
menuentry $"Install "'@distro@' --hotkey 'i' --id 'linux' {
|
|
echo $"Loading Linux vmlinuz$KFLAVOUR ..."
|
|
linux$linux_suffix /boot/vmlinuz$KFLAVOUR changedisk fastboot automatic=method:cdrom ramdisk_size=@altinst_size@ vga=@bootvga@ @bootargs@ $EFI_BOOTARGS lang=$lang
|
|
echo $"Loading initial ramdisk ..."
|
|
initrd$linux_suffix /boot/full$KFLAVOUR.cz
|
|
}
|