diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-07-04 15:26:21 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-07-04 15:26:21 +0200 |
| commit | 42226063f6885f2114bf6d81fede1896d484c3d1 (patch) | |
| tree | 675e7823913a5085b1fe0f0366a8a57ccba4ab41 | |
| parent | 0207768fc9149461a010d7bf85cd5460b5d839e9 (diff) | |
vm: Disable KVM on i386.
* gnu/build/vm.scm (load-in-linux-vm): Disable KVM on i386.
| -rw-r--r-- | gnu/build/vm.scm | 8 |
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 | ||
