On Wed, May 13, 2020 at 12:37:52AM +0200, Andrea Borgia wrote: > Debian uses about 6MB, MS about 26MB, plus a couple of megs for boot. > If space is really tight you might want to stick with 100MB in total.
My current desktop PC is an HP Pavilion that came pre-loaded with Windows. I added Debian to it, but left the Windows stuff sitting around just in case. The EFI partition is 256 MB, and the space is used thus: unicorn:~$ sudo sh -c 'du -sh /boot/efi/EFI/*' 1.2M /boot/efi/EFI/Boot 41M /boot/efi/EFI/HP 25M /boot/efi/EFI/Microsoft 5.1M /boot/efi/EFI/debian I have no idea what the "HP" directory is for. Here's what's in the next level down: unicorn:~$ sudo ls -l /boot/efi/EFI/HP total 12 drwx------ 5 root root 4096 Oct 13 2017 BIOS drwx------ 2 root root 4096 Oct 13 2017 BIOSUpdate drwx------ 2 root root 4096 Oct 13 2017 SystemDiags So, obviously the size of the EFI partition is going to depend on what you intend to put (or leave) in it.
