On Tuesday, 5 December 2023 19:35:11 GMT Michael wrote: > Your boot partition is /dev/nvme0n1p1 and its mountpoint is /boot. You must > create this partition with the appropriate EFI System type (in gdisk use > EF00). > > The /efi directory must be at the top of the /boot partition filesystem, > accessible via /boot/efi.
I've been operating that way for some years, but I have reason to believe that things have changed. I'll start a new thread tomorrow. -- Regards, Peter.
