diff options
author | Ludovic Courtès <ludo@gnu.org> | 2018-07-05 11:44:46 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-07-05 11:44:46 +0200 |
commit | fc0e663f782896f542d008c871d21b9cf636a75c (patch) | |
tree | 46f77271fe4e2328a382636c95e120ab460c72cd /THANKS | |
parent | a043b5b81a080c47e24298c80857919b9ea21bb2 (diff) | |
download | patches-fc0e663f782896f542d008c871d21b9cf636a75c.tar patches-fc0e663f782896f542d008c871d21b9cf636a75c.tar.gz |
doc: Improve UEFI/BIOS bootloader documentation.
Partly fixes <https://bugs.gnu.org/30312>.
* doc/guix.texi (Preparing for Installation): Add note on how to choose
between UEFI and BIOS.
(Using the Configuration System)[Bootloader]: New subsubsection.
(Bootloader Configuration): Expound on the bootloader type and target.
* gnu/system/examples/desktop.tmpl: Switch to UEFI.
* gnu/system/examples/bare-bones.tmpl: Explicitly mention "legacy" and
"BIOS" in the comments.
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions