diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2018-07-24 19:56:35 +0200 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2018-07-24 19:56:35 +0200 |
| commit | 706ae8e15c8d36b0aee7c19c54c143d3e17f5784 (patch) | |
| tree | e9fe8ebfb1417d30979b5413165599f066a1c504 /gnu/build/vm.scm | |
| parent | 3e95125e9bd0676d4a9add9105217ad3eaef3ff0 (diff) | |
| parent | 8440db459a10daa24282038f35bc0b6771bd51ab (diff) | |
| download | patches-706ae8e15c8d36b0aee7c19c54c143d3e17f5784.tar patches-706ae8e15c8d36b0aee7c19c54c143d3e17f5784.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, 7 insertions, 1 deletions
diff --git a/gnu/build/vm.scm b/gnu/build/vm.scm index abecc8c470..5579886264 100644 --- a/gnu/build/vm.scm +++ b/gnu/build/vm.scm @@ -105,7 +105,13 @@ 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?)) + (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))) '("-enable-kvm") '()) |