On Tue, 2021-08-31 at 10:04 -0400, Rich Freeman wrote: > What I probably should get around to is grokking EFI+linux. I'm not > sure what the cleanest solution for that is these days - I've never > actually set up EFI on linux, mostly because I'm not sure what the > best practice is.
I can't speak to best practices, and I'm a long way from an expert on EFI, but the the instructions on the Gentoo handbook pages on disk partitioning + grub setup worked as expected for me. In a small nutshell, you have a small EFI+boot partition, set to type 'EFI System' and formatted FAT32, then tell grub to use it as an EFI directory when calling grub-install.
