base Partitions for Linux

[Tom H]

On Mon, Apr 13, 2015 at 9:34 AM, Heinz Diehl <htd+ml at fritha.org> wrote:
> On 13.04.2015, Tim wrote:
>>
>> Is the second one (efi) actually a partition, or just a directory
>> inside /boot?
>
> It is a partition of its own, and must be FAT formatted.

"/boot/efi" doesn't have to be a separate mount.

If you use gummiboot and don't want to have two copies of vmlinuz and
initramfs on "/boot" and "/boot/efi", you can mount the ESP at
"/boot".

On my laptop:

# findmnt --output TARGET,SOURCE,FSTYPE /boot
TARGET SOURCE    FSTYPE
/boot  systemd-1 autofs
/boot  /dev/sda1 vfat