From b51e71b2d275d8ff475a968ca4ea7f2be78302f9 Mon Sep 17 00:00:00 2001
From: =?utf8?q?=D0=BD=D0=B0=D0=B1?= <nabijaczleweli@nabijaczleweli.xyz>
Date: Tue, 16 Mar 2021 17:42:28 +0100
Subject: [PATCH] kernel-install: note $KERNEL_INSTALL_{MACHINE_ID,BOOT_ROOT}=
 ABI

---
 man/kernel-install.xml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/man/kernel-install.xml b/man/kernel-install.xml
index f278c2f557..256b252571 100644
--- a/man/kernel-install.xml
+++ b/man/kernel-install.xml
@@ -167,6 +167,11 @@
 
     <para>If <varname>MACHINE_ID=</varname> is set and not empty, it will be used as <replaceable>MACHINE-ID</replaceable>,
     overriding any automatic detection attempts.  The value must be a valid machine ID (32 hexadecimal characters).</para>
+
+    <para><varname>KERNEL_INSTALL_MACHINE_ID=</varname> is set for the plugins to the desired <replaceable>MACHINE-ID</replaceable> –
+    either 32 hexadecimal characters or the special value <literal>Default</literal>.</para>
+    <para><varname>KERNEL_INSTALL_BOOT_ROOT=</varname> is set for the plugins to the root directory (mount point, usually) of the hierarchy
+    where boot-loader entries, kernel images, and associated resources should be placed.  Can be overriden by setting <varname>BOOT_ROOT=</varname>.</para>
   </refsect1>
 
   <refsect1>
-- 
2.25.1