diff options
| -rw-r--r-- | doc/guix.texi | 2 |
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}) |
| 4416 | The package object of the operating system to use@footnote{Currently | 4416 | The package object of the operating system kernel to use@footnote{Currently |
| 4417 | only the Linux-libre kernel is supported. In the future, it will be | 4417 | only the Linux-libre kernel is supported. In the future, it will be |
| 4418 | possible to use the GNU@tie{}Hurd.}. | 4418 | possible to use the GNU@tie{}Hurd.}. |
| 4419 | 4419 | ||
