On Sat, 30 Jun 2018 08:32:16 +0100, Peter Humphrey wrote: > I had a similar problem with grub on this box. I decided in the end > that it must be a UEFI BIOS problem: that it couldn't see grub at all. > My solution was to ditch grub altogether and use bootctl from > sys-boot/systemd-boot. Life after grub is much more pleasant, even > though I have to work harder at installing a new kernel. :)
You do? I just modified my kernel build and install script to generate a suitable loader entry. If you want configuration-free UEFI, try ReFind. -- Neil Bothwick We have a equal opportunity Calculus class -- it's fully integrated.
pgp4HIW5Q8YF1.pgp
Description: OpenPGP digital signature