On Monday, 30 September 2019 21:01:28 BST Neil Bothwick wrote: > Are you setting UEFI to boot from systemd-bootx64.efi or from the kernel > image? If the former, you don't need a copy of the kernel in the ESP.
I could run some tests to find out, but after throwing so much time and effort into reaching a stable setup (so far), I don't wish to do anything to it but use it, thanks all the same. -- Regards, Peter.
