02/04: doc: Make /dev/kvm note more visible.

[guix-commits]

civodul pushed a commit to branch master
in repository guix.

commit 9b104bfeefd08554015dc4e5369fe09366113387
Author: Ludovic Courtès <address@hidden>
Date:   Fri Jan 25 22:54:24 2019 +0100

    doc: Make /dev/kvm note more visible.
    
    Suggested by Giovanni Biscuolo <address@hidden>.
    
    * doc/guix.texi (Invoking guix system): Move note about /dev/kvm access
    to the beginning of the 'vm' action description.
---
 doc/guix.texi | 19 ++++++++++---------
 1 file changed, 10 insertions(+), 9 deletions(-)

diff --git a/doc/guix.texi b/doc/guix.texi
index a182e1e..9e0eec4 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -23008,6 +23008,16 @@ passed.
 @anchor{guix system vm}
 Build a virtual machine that contains the operating system declared in
 @var{file}, and return a script to run that virtual machine (VM).
+
address@hidden Note
+The @code{vm} action and others below
+can use KVM support in the Linux-libre kernel.  Specifically, if the
+machine has hardware virtualization support, the corresponding
+KVM kernel module should be loaded, and the @file{/dev/kvm} device node
+must exist and be readable and writable by the user and by the
+build users of the daemon (@pxref{Build Environment Setup}).
address@hidden quotation
+
 Arguments given to the script are passed to QEMU as in the example
 below, which enables networking and requests address@hidden of RAM for the
 emulated machine:
@@ -23204,15 +23214,6 @@ a list of available debugging commands.
 @end table
 @end table
 
address@hidden Note
-All the actions above, except @code{build} and @code{init},
-can use KVM support in the Linux-libre kernel.  Specifically, if the
-machine has hardware virtualization support, the corresponding
-KVM kernel module should be loaded, and the @file{/dev/kvm} device node
-must exist and be readable and writable by the user and by the
-build users of the daemon (@pxref{Build Environment Setup}).
address@hidden quotation
-
 Once you have built, configured, re-configured, and re-re-configured
 your GuixSD installation, you may find it useful to list the operating
 system generations available on disk---and that you can choose from the