From 1a0350c6f5765858f4389972116fe7cfabdfc520 Mon Sep 17 00:00:00 2001
From: Francis Rowe <info@gluglug.org.uk>
Date: Fri, 23 Jan 2015 05:53:48 +0000
Subject: Documentation (grub_boot_installer.html): how to boot Guix

---
 docs/gnulinux/grub_boot_installer.html | 15 +++++++++++++--
 1 file changed, 13 insertions(+), 2 deletions(-)

(limited to 'docs/gnulinux/grub_boot_installer.html')

diff --git a/docs/gnulinux/grub_boot_installer.html b/docs/gnulinux/grub_boot_installer.html
index 68536801..a25247b0 100644
--- a/docs/gnulinux/grub_boot_installer.html
+++ b/docs/gnulinux/grub_boot_installer.html
@@ -38,8 +38,19 @@
 			<b>$ sudo dd if=gnulinux.iso of=/dev/sdb bs=8M; sync</b><br/>
 			<b># dd if=gnulinux.iso of=/dev/sdb bs=8M; sync</b>
 		</p>
+		
+	<h2>Guix GNU/Linux?</h2>
 
-	<h2>Booting the USB drive (in GRUB)</h2>
+		<p>
+			Guix USB installers use the GRUB bootloader, unlike most GNU/Linux installers which will likely use ISOLINUX.
+		</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
+			<b><i>Load Config from (usb0)</i></b>; select that, and it should boot.
+		</p>
+
+	<h2>Booting ISOLINUX images (in GRUB)</h2>
 
 		<p>
 			Boot it in GRUB using the <i>Parse ISOLINUX config (USB)</i> option (it's in default libreboot grub.cfg, at least).
@@ -49,7 +60,7 @@
 		</p>
 
 		<p>
-			If the ISOLINUX parser 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 GRUB command line.<br/>
 				grub&gt; <b>ls</b><br/>
 
 			Get the device from above output, eg (usb0). Example:<br/>
-- 
cgit v1.2.3-70-g09d2