man: document /efi in file-hiearchy(7)

poettering · poettering · commit 1dc7ca9912bb · 2018-05-02T16:56:19.000+02:00
We have been supporting the directory since a while in the gpt
generator, let's document it in file-hierarchy(7) too
diff --git a/man/file-hierarchy.xml b/man/file-hierarchy.xml
@@ -74,7 +74,7 @@
         <term><filename>/boot</filename></term>
         <listitem><para>The boot partition used for bringing up the
         system. On EFI systems, this is possibly the EFI System
-        Partition, also see
+        Partition (ESP), also see
         <citerefentry><refentrytitle>systemd-gpt-auto-generator</refentrytitle><manvolnum>8</manvolnum></citerefentry>.
         This directory is usually strictly local to the host, and
         should be considered read-only, except when a new kernel or
@@ -83,6 +83,15 @@
         requires boot loaders.</para></listitem>
       </varlistentry>
 
+      <varlistentry>
+        <term><filename>/efi/</filename></term>
+        <listitem><para>If the boot partition <filename>/boot/</filename> is maintained separately from the EFI System
+        Partition (ESP), the latter is mounted here. Tools that need to operate on the EFI system partition should look
+        for it at this mount point first, and fall back to <filename>/boot/</filename> — if the former doesn't qualify
+        (for example if it is not a mount point or does not have the correct file system type
+        <constant>MSDOS_SUPER_MAGIC</constant>).</para></listitem>
+      </varlistentry>
+
       <varlistentry>
         <term><filename>/etc</filename></term>
         <listitem><para>System-specific configuration. This directory
