summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2018-07-04 15:26:21 +0200
committerLudovic Courtès <ludo@gnu.org>2018-07-04 15:26:21 +0200
commit42226063f6885f2114bf6d81fede1896d484c3d1 (patch)
tree675e7823913a5085b1fe0f0366a8a57ccba4ab41
parent0207768fc9149461a010d7bf85cd5460b5d839e9 (diff)
vm: Disable KVM on i386.
* gnu/build/vm.scm (load-in-linux-vm): Disable KVM on i386.
-rw-r--r--gnu/build/vm.scm8
1 files changed, 7 insertions, 1 deletions
diff --git a/gnu/build/vm.scm b/gnu/build/vm.scm
index abecc8c470c..55798862645 100644
--- a/gnu/build/vm.scm
+++ b/gnu/build/vm.scm
@@ -105,7 +105,13 @@ the #:references-graphs parameter of 'derivation'."
105 ;; hardware virtualization to still use these commands. KVM support is 105 ;; hardware virtualization to still use these commands. KVM support is
106 ;; still buggy on some ARM32 boards. Do not use it even if available. 106 ;; still buggy on some ARM32 boards. Do not use it even if available.
107 ,@(if (and (file-exists? "/dev/kvm") 107 ,@(if (and (file-exists? "/dev/kvm")
108 (not target-arm32?)) 108 (not target-arm32?)
109
110 ;; XXX: 32-bit 'qemu-system-i386 -enable-kvm' segfaults on
111 ;; x86_64 hosts running Linux-libre 4.17:
112 ;; <https://debbugs.gnu.org/cgi/bugreport.cgi?bug=31380#18> and
113 ;; <https://lists.gnu.org/archive/html/qemu-devel/2018-07/msg01166.html>.
114 (not (string-suffix? "-i386" qemu)))
109 '("-enable-kvm") 115 '("-enable-kvm")
110 '()) 116 '())
111 117