On Mon, Aug 18, 2025 at 07:45:22PM +0200, Andreas Messer wrote:
> 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.

I believe the "standard" mount path is "/boot/efi" rather, but perhaps
grub allows a number of possilities.

Ralph.

> > 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



> _______________________________________________
> Dng mailing list
> Dng@???
> Manage your subscription: https://mailinglists.dyne.org/cgi-bin/mailman/listinfo/dng
> Archive: https://lists.dyne.org/lurker/list/dng.en.html