summaryrefslogtreecommitdiffstats
path: root/docs/gnulinux/grub_boot_installer.html
diff options
context:
space:
mode:
authorFrancis Rowe <info@gluglug.org.uk>2015-01-23 01:20:00 (EST)
committer Francis Rowe <info@gluglug.org.uk>2015-01-23 02:01:54 (EST)
commit668cd5ba8fcb7a9c36d550b283cb5fbc0456dc66 (patch)
treea056a1b617ead99388604df71cb1e7b8d00126e7 /docs/gnulinux/grub_boot_installer.html
parent1a0350c6f5765858f4389972116fe7cfabdfc520 (diff)
downloadlibreboot-668cd5ba8fcb7a9c36d550b283cb5fbc0456dc66.zip
libreboot-668cd5ba8fcb7a9c36d550b283cb5fbc0456dc66.tar.gz
libreboot-668cd5ba8fcb7a9c36d550b283cb5fbc0456dc66.tar.bz2
Documentation (grub_cbfs.html): Add notes about libreboot_grub.cfg
Diffstat (limited to 'docs/gnulinux/grub_boot_installer.html')
-rw-r--r--docs/gnulinux/grub_boot_installer.html15
1 files changed, 11 insertions, 4 deletions
diff --git a/docs/gnulinux/grub_boot_installer.html b/docs/gnulinux/grub_boot_installer.html
index a25247b..5521026 100644
--- a/docs/gnulinux/grub_boot_installer.html
+++ b/docs/gnulinux/grub_boot_installer.html
@@ -46,21 +46,28 @@
</p>
<p>
To boot the Guix live USB install, select <b><i>Search for GRUB configuration (grub.cfg) outside of CBFS</i></b> from
- the GRUB payload menu. After you have done that, a near menuentry will appear at the very bottom with text like
+ the GRUB payload menu. After you have done that, a new menuentry will appear at the very bottom with text like
<b><i>Load Config from (usb0)</i></b>; select that, and it should boot.
</p>
+ <p>
+ Once you have installed Guix onto the main storage device, check
+ <a href="grub_cbfs.html#libreboot_grub_config_ondisk">grub_cbfs.html#libreboot_grub_config_ondisk</a> for hints on how
+ to boot it.
+ </p>
- <h2>Booting ISOLINUX images (in GRUB)</h2>
+ <h2>Booting ISOLINUX images</h2>
<p>
- Boot it in GRUB using the <i>Parse ISOLINUX config (USB)</i> option (it's in default libreboot grub.cfg, at least).
+ Boot it in GRUB using the <i>Parse ISOLINUX config (USB)</i> option.
A new menu should appear in GRUB, showing the boot options for that distro; this is a GRUB menu, converted from the usual
ISOLINUX menu provided by that distro.
</p>
+
+ <h2>Booting manually</h2>
<p>
- If the ISOLINUX parser or <i>Search for GRUB configuration</i> options won't work, then press C to get to GRUB command line.<br/>
+ If the ISOLINUX parser or <i>Search for GRUB configuration</i> options won't work, then press C to get to the GRUB command line.<br/>
grub&gt; <b>ls</b><br/>
Get the device from above output, eg (usb0). Example:<br/>