Hi Peter,

Am Mon, Aug 18, 2025 at 09:37:04AM -0700 schrieb Peter via Dng:
>
> Mounting the ESP to /boot seems the simplest approach.

ESP is usually mounted to /boot/esp. /boot contains grub modules besides
the kernels and initrd files. It would easily overflow your esp, mine is
currently at 325 MB. ESP is intended to contain only the images to be
loaded by the UEFI Bios, nothing else.


> Does Devuan have an automated process to install files into ESP?
> Otherwise, detailed instructions appropriate to Devuan rather than
> Archlinux?

Just setup ESP as outlined above and install grub-efi-amd64. It will take
care of installing it properly automatically.

cheers,
Andreas

--
gnuPG keyid: 8C2BAF51
fingerprint: 28EE 8438 E688 D992 3661 C753 90B3 BAAA 8C2B AF51