Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > linux.debian.user > #222455

Re: Smallest Usable EFI Partition?

From Greg Wooledge <wooledg@eeg.ccf.org>
Newsgroups linux.debian.user
Subject Re: Smallest Usable EFI Partition?
Date 2020-05-13 13:50 +0200
Message-ID <A5Y3E-69R-5@gated-at.bofh.it> (permalink)
References <A5Lzr-6Tc-5@gated-at.bofh.it> <A5LJ7-6Zm-9@gated-at.bofh.it>
Organization linux.* mail to news gateway

Show all headers | View raw


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.

Back to linux.debian.user | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread


Thread

Smallest Usable EFI Partition? Patrick Bartek <nemommxiv@gmail.com> - 2020-05-13 00:30 +0200
  Re: Smallest Usable EFI Partition? Andrea Borgia <andrea@borgia.bo.it> - 2020-05-13 00:40 +0200
    Re: Smallest Usable EFI Partition? "Rick Thomas" <rick.thomas@pobox.com> - 2020-05-13 02:40 +0200
      Re: Smallest Usable EFI Partition? Sven Hartge <sven@svenhartge.de> - 2020-05-13 07:40 +0200
        Re: Smallest Usable EFI Partition? Patrick Bartek <nemommxiv@gmail.com> - 2020-05-13 20:40 +0200
          Re: Smallest Usable EFI Partition? Sven Hartge <sven@svenhartge.de> - 2020-05-13 21:10 +0200
          Re: Smallest Usable EFI Partition? David Wright <deblis@lionunicorn.co.uk> - 2020-05-13 21:20 +0200
      Re: Smallest Usable EFI Partition? Andrea Borgia <andrea@borgia.bo.it> - 2020-05-13 09:20 +0200
        Re: Smallest Usable EFI Partition? Patrick Bartek <nemommxiv@gmail.com> - 2020-05-13 20:40 +0200
      Re: Smallest Usable EFI Partition? Patrick Bartek <nemommxiv@gmail.com> - 2020-05-13 20:40 +0200
    Re: Smallest Usable EFI Partition? Greg Wooledge <wooledg@eeg.ccf.org> - 2020-05-13 13:50 +0200
      Re: Smallest Usable EFI Partition? Richard Hector <richard@walnut.gen.nz> - 2020-05-14 18:30 +0200
        Re: Smallest Usable EFI Partition? Marco Möller <talby@debianlists.mobilxpress.net> - 2020-05-14 21:00 +0200
    Re: Smallest Usable EFI Partition? Patrick Bartek <nemommxiv@gmail.com> - 2020-05-13 20:30 +0200
      Re: Smallest Usable EFI Partition? David Wright <deblis@lionunicorn.co.uk> - 2020-05-14 04:20 +0200
  Re: Smallest Usable EFI Partition? Steve McIntyre <steve@einval.com> - 2020-05-13 14:40 +0200
    Re: Smallest Usable EFI Partition? Patrick Bartek <nemommxiv@gmail.com> - 2020-05-13 20:20 +0200

csiph-web