[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
02/04: doc: Mention ARM and AArch64 bootloaders.
|
From: |
Ludovic Courtès |
|
Subject: |
02/04: doc: Mention ARM and AArch64 bootloaders. |
|
Date: |
Thu, 5 Jul 2018 05:56:45 -0400 (EDT) |
civodul pushed a commit to branch version-0.15.0
in repository guix.
commit 900e6d40518d9b47e5d18cc532ce29a9c352c12d
Author: Ludovic Courtès <address@hidden>
Date: Thu Jul 5 11:52:55 2018 +0200
doc: Mention ARM and AArch64 bootloaders.
* doc/guix.texi (Bootloader Configuration): Mention ARM and AArch64.
Add missing uses of @code.
---
doc/guix.texi | 10 +++++++---
1 file changed, 7 insertions(+), 3 deletions(-)
diff --git a/doc/guix.texi b/doc/guix.texi
index a913c2e..fde28b4 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -20739,8 +20739,12 @@ when you boot it on your system.
@code{grub-bootloader} allows you to boot in particular Intel-based machines
in ``legacy'' BIOS mode.
address@hidden ARM, bootloaders
address@hidden AArch64, bootloaders
Available bootloaders are described in @code{(gnu bootloader @dots{})}
-modules.
+modules. In particular, @code{(gnu bootloader u-boot)} contains definitions
+of bootloaders for a wide range of ARM and AArch64 systems, using the
address@hidden://www.denx.de/wiki/U-Boot/, U-Boot bootloader}.
@item @code{target}
This is a string denoting the target onto which to install the
@@ -20776,7 +20780,7 @@ The output terminals used for the bootloader boot menu,
as a list of
symbols. GRUB accepts the values: @code{console}, @code{serial},
@address@hidden@}}, @code{gfxterm}, @code{vga_text},
@code{mda_text}, @code{morse}, and @code{pkmodem}. This field
-corresponds to the GRUB variable GRUB_TERMINAL_OUTPUT (@pxref{Simple
+corresponds to the GRUB variable @code{GRUB_TERMINAL_OUTPUT} (@pxref{Simple
configuration,,, grub,GNU GRUB manual}).
@item @code{terminal-inputs} (default: @code{'()})
@@ -20785,7 +20789,7 @@ symbols. For GRUB, the default is the native platform
terminal as
determined at run-time. GRUB accepts the values: @code{console},
@code{serial}, @address@hidden@}}, @code{at_keyboard}, and
@code{usb_keyboard}. This field corresponds to the GRUB variable
-GRUB_TERMINAL_INPUT (@pxref{Simple configuration,,, grub,GNU GRUB
address@hidden (@pxref{Simple configuration,,, grub,GNU GRUB
manual}).
@item @code{serial-unit} (default: @code{#f})