From c910dcbb18d27e2638d95d88c64c44614a4d58ea Mon Sep 17 00:00:00 2001 From: Kevin O'Gorman Date: Sun, 14 Oct 2018 18:02:11 -0700 Subject: [PATCH] added corrections based on review --- docs/development/virtual_environments.rst | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/docs/development/virtual_environments.rst b/docs/development/virtual_environments.rst index 977a5324b6..f5b9f70e3c 100644 --- a/docs/development/virtual_environments.rst +++ b/docs/development/virtual_environments.rst @@ -159,7 +159,7 @@ Add your user to the libvirtd group: sudo addgroup libvirtd sudo usermod -a -g libvirtd $USER -Install the required Vagrant plugins for converting and using libvirt boxes: +Install the required Vagrant plugins for converting and using libvirt boxes: .. code:: sh @@ -203,12 +203,14 @@ Add your user to the kvm group to give it permission to run KVM: sudo modprobe kvm sudo modprobe kvm_intel -Log out, then log in again. Verify that libvirt is installed: +Log out, then log in again. Verify that libvirt is installed and your system +supports KVM: .. code:: sh sudo libvirtd --version - + [ `egrep -c 'flags\s*:.*(vmx|svm)' /proc/cpuinfo` -gt 0 ] && \ + echo "KVM supported!" || echo "KVM not supported..." Set libvirt as the default provider ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^