summaryrefslogtreecommitdiffstats
path: root/docs/gnulinux/grub_boot_installer.html
diff options
context:
space:
mode:
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/>