01/02: doc: Add "Installing GuixSD in a VM" node.

[Ludovic Courtès]

civodul pushed a commit to branch master
in repository guix.

commit c8b543741f422ecf41e7635c6a1c40b3bd55947a
Author: Vincent Legoll <address@hidden>
Date:   Wed Jul 13 16:24:08 2016 +0200

    doc: Add "Installing GuixSD in a VM" node.
    
    * doc/guix.texi (Installing GuixSD in a VM): New node.
    (USB Stick Installation): Refer to it.
    (System Installation): Mention "GuixSD".
    
    Co-authored-by: Ludovic Courtès <address@hidden>
---
 doc/guix.texi |   55 ++++++++++++++++++++++++++++++++++++++++++++++++++++++-
 1 file changed, 54 insertions(+), 1 deletion(-)

diff --git a/doc/guix.texi b/doc/guix.texi
index 9b3f51e..77f028e 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -187,6 +187,7 @@ System Installation
 * USB Stick Installation::      Preparing the installation medium.
 * Preparing for Installation::  Networking, partitioning, etc.
 * Proceeding with the Installation::  The real thing.
+* Installing GuixSD in a VM::   GuixSD playground.
 * Building the Installation Image::  How this comes to be.
 
 System Configuration
@@ -6029,7 +6030,7 @@ to join!  @xref{Contributing}, for information about how 
you can help.
 @section System Installation
 
 @cindex Guix System Distribution
-This section explains how to install the Guix System Distribution
+This section explains how to install the Guix System Distribution (GuixSD)
 on a machine.  The Guix package manager can
 also be installed on top of a running GNU/Linux system,
 @pxref{Installation}.
@@ -6054,6 +6055,7 @@ available.
 * USB Stick Installation::      Preparing the installation medium.
 * Preparing for Installation::  Networking, partitioning, etc.
 * Proceeding with the Installation::  The real thing.
+* Installing GuixSD in a VM::   GuixSD playground.
 * Building the Installation Image::  How this comes to be.
 @end menu
 
@@ -6199,6 +6201,9 @@ Once this is done, you should be able to reboot the 
system and boot from
 the USB stick.  The latter usually requires you to get in the BIOS' boot
 menu, where you can choose to boot from the USB stick.
 
address@hidden GuixSD in a VM}, if, instead, you would like to install
+GuixSD in a virtual machine (VM).
+
 @node Preparing for Installation
 @subsection Preparing for Installation
 
@@ -6456,6 +6461,54 @@ Join us on @code{#guix} on the Freenode IRC network or on
 @file{guix-devel@@gnu.org} to share your experience---good or not so
 good.
 
address@hidden Installing GuixSD in a VM
address@hidden Installing GuixSD in a Virtual Machine
+
address@hidden virtual machine, GuixSD installation
+If you'd like to install GuixSD in a virtual machine (VM) rather than on
+your beloved machine, this section is for you.
+
+To boot a @uref{http://qemu.org/,QEMU} VM for installing GuixSD in a
+disk image, follow these steps:
+
address@hidden
address@hidden
+First, retrieve the GuixSD installation image as described previously
+(@pxref{USB Stick Installation}).
+
address@hidden
+Create a disk image that will hold the installed system.  To make a
+qcow2-formatted disk image, use the @command{qemu-img} command:
+
address@hidden
+qemu-img create -f qcow2 guixsd.img 5G
address@hidden example
+
+This will create a 5GB file.
+
address@hidden
+Boot the USB installation image in an VM:
+
address@hidden
+qemu-system-x86_64 -m 1024 -smp 1 \
+  -net default -net nic,model=virtio -boot menu=on \
+  -drive file=guixsd.img \
+  -drive address@hidden@var{system}
address@hidden example
+
+In the VM console, quickly press the @kbd{F12} key to enter the boot
+menu.  Then press the @kbd{2} key and the @kbd{RET} key to validate your
+selection.
+
address@hidden
+You're now root in the VM, proceed with the installation process.
address@hidden for Installation}, and follow the instructions.
address@hidden enumerate
+
+Once installation is complete, you can boot the system that's on your
address@hidden image.  @xref{Running GuixSD in a VM}, for how to do
+that.
+
 @node Building the Installation Image
 @subsection Building the Installation Image