Neil Bothwick <n...@digimed.co.uk> wrote : > On Fri, 8 Apr 2016 13:26:31 -0400, Poison BL. wrote: > > > --> /boot/efi/boot/bootx64.efi > > This one is what your UEFI's loading at boot. The lack of any other > > files in /boot/efi/boot/ makes me suspect Grub's not actually > > installed in quite the right spot for the UEFI layer to load it. If > > you pointed grub2-install at the right place (the second command line > > at [1]), I believe you should have grubx64.efi there as well. > > Did you build GRUB with GRUB_PLATFORMS="efi-64"?
Yes, as instructed in the wiki. > As you're using EFI, you may find life easier if you dispense with GRUB > and use Gummiboot. I find it (or the systemd version) far more friendly. Maybe I should give it a go - thanks for the idea. I did consider it but then I was deterred by its description as "minimalistic".