diff --git a/man/kernel-install.xml b/man/kernel-install.xml
index 06939fa0906..93dc0ae4fdd 100644
--- a/man/kernel-install.xml
+++ b/man/kernel-install.xml
@@ -125,12 +125,40 @@ along with systemd; If not, see .
Drop-in files, which are executed by kernel-install.
+
+
+ /etc/kernel/cmdline
+ /proc/cmdline
+
+
+ The contents of the file /etc/kernel/cmdline specifies the kernel command line to use.
+ If that file does not exist, /proc/cmdline is used.
+
+
+
+
+ /etc/machine-id
+
+
+ The contents of the file specifies the machine identifaction <MACHINE-ID>.
+
+
+
+
+ /etc/os-release
+
+
+ The contents of the file specifies the the operating system id <OS-ID>.
+
+
See Also
+ machine-id5,
+ os-release5,
Boot loader specification