diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-12-20 18:39:04 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-12-20 18:39:04 +0100 |
| commit | 86974d8a9247cbeb938b5202f23ccca8d9ed627d (patch) | |
| tree | 7bd498ccf672aced617aa24a830ec4164268c03f /gnu/build/vm.scm | |
| parent | 03a45a40227d97ccafeb49c4eb0fc7539f4d2127 (diff) | |
| parent | 9012d226fa46229a84e49a42c9b6d287105dfddf (diff) | |
| download | patches-86974d8a9247cbeb938b5202f23ccca8d9ed627d.tar patches-86974d8a9247cbeb938b5202f23ccca8d9ed627d.tar.gz | |
Merge branch 'master' into core-updates
Diffstat (limited to 'gnu/build/vm.scm')
| -rw-r--r-- | gnu/build/vm.scm | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/gnu/build/vm.scm b/gnu/build/vm.scm index 83ad489cc7..0aef73d26d 100644 --- a/gnu/build/vm.scm +++ b/gnu/build/vm.scm @@ -105,13 +105,7 @@ the #:references-graphs parameter of 'derivation'." ;; hardware virtualization to still use these commands. KVM support is ;; still buggy on some ARM32 boards. Do not use it even if available. ,@(if (and (file-exists? "/dev/kvm") - (not target-arm32?) - - ;; XXX: 32-bit 'qemu-system-i386 -enable-kvm' segfaults on - ;; x86_64 hosts running Linux-libre 4.17: - ;; <https://debbugs.gnu.org/cgi/bugreport.cgi?bug=31380#18> and - ;; <https://lists.gnu.org/archive/html/qemu-devel/2018-07/msg01166.html>. - (not (string-suffix? "-i386" qemu))) + (not target-arm32?)) '("-enable-kvm") '()) |