On 2025-09-18 10:31:07 -0400, Jeffrey Walton wrote: > Related, see > <https://wiki.debian.org/UEFI#EFI_System_Partition_.28ESP.29_recommended_size>.
Isn't this /boot/efi? FYI, only 8% of 512 MB is used here. The real issue is with the /boot partition. When I installed the machine 2 years ago, the size recommended by Debian was... 25-50 MB!!! See https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1076582#22 and the subsequent messages. -- Vincent Lefèvre <[email protected]> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / Pascaline project (LIP, ENS-Lyon)
