summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/guix.texi2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/guix.texi b/doc/guix.texi
index 6507b9c4364..a4aa1b67fab 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -4413,7 +4413,7 @@ configuration (@pxref{Using the Configuration System}).
4413 4413
4414@table @asis 4414@table @asis
4415@item @code{kernel} (default: @var{linux-libre}) 4415@item @code{kernel} (default: @var{linux-libre})
4416The package object of the operating system to use@footnote{Currently 4416The package object of the operating system kernel to use@footnote{Currently
4417only the Linux-libre kernel is supported. In the future, it will be 4417only the Linux-libre kernel is supported. In the future, it will be
4418possible to use the GNU@tie{}Hurd.}. 4418possible to use the GNU@tie{}Hurd.}.
4419 4419