Yea, you just want /boot, you don’t want a separate /efi. You can do that sort of thing with systemd-boot, but then /boot is called the XBOOTLDR partition and it still has to be something the firmware can read since systemd-boot just uses the UEFI’s file system drivers. But NixOS doesn’t support this right now, so you’re stuck only having the ESP and no XBOOTLDR, meaning you should just have /boot formatted with vfat and marked as an ESP. It should be large enough to store all the kernels/initrds used by all the NixOS generations you intend to keep around. 512M is usually sufficient but I’d recommend 1G
3 Likes