On Tuesday 23 Aug 2016 21:00:47 Mick wrote: > I have built a UEFI system with no initramfs (I don't need it), or > systemd (I don't want it), or any assisting boot manager. I have been > happily using the EFI kernel stub and on the rare occasion I need to boot > an alternative kernel I press F2 (or whatever it is) to get into BIOS and > shift the boot order of the kernels I have stashed in /boot/EFI/BOOT/. > If the need has arisen to use a different kernel before I (re)boot, then > I can also change the kernels' boot order using efibootmgr from a > terminal. This has been going on for the last two years or so without > any complaints from the users, or myself. The only drawback is I can't > boot sysrescuecd ISO straight off the boot menu without grub2 and > friends. Again, fingers X, this is quite a rare occasion for this > particular box.
It hadn't occurred to me that I could have more than one kernel in /boot/EFI/Boot. I'll certainly look into that idea - thanks Mick! > BTW, have you had a look at rEFInd? In the absence of Gummiboot you may > fulfils your needs. I hadn't heard of it, but it looks interesting now you point it out. Well, that's my research topic for today sorted out. :) -- Rgds Peter