diff options
| author | Francis Rowe <info@gluglug.org.uk> | 2015-01-23 00:53:48 (EST) |
|---|---|---|
| committer | Francis Rowe <info@gluglug.org.uk> | 2015-01-23 00:53:48 (EST) |
| commit | 1a0350c6f5765858f4389972116fe7cfabdfc520 (patch) | |
| tree | 49a0354a1991a5a1cb59927dd6f1c32865d3e19f /docs/gnulinux/grub_boot_installer.html | |
| parent | 03d4d55792913fe130cf2fe140288b7f7b1b8f26 (diff) | |
| download | libreboot-1a0350c6f5765858f4389972116fe7cfabdfc520.zip libreboot-1a0350c6f5765858f4389972116fe7cfabdfc520.tar.gz libreboot-1a0350c6f5765858f4389972116fe7cfabdfc520.tar.bz2 | |
Documentation (grub_boot_installer.html): how to boot Guix
Diffstat (limited to 'docs/gnulinux/grub_boot_installer.html')
| -rw-r--r-- | docs/gnulinux/grub_boot_installer.html | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/docs/gnulinux/grub_boot_installer.html b/docs/gnulinux/grub_boot_installer.html index 6853680..a25247b 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> <b>ls</b><br/> Get the device from above output, eg (usb0). Example:<br/> |