diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/debvm-run | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/bin/debvm-run b/bin/debvm-run index 35a3459..6269ba6 100755 --- a/bin/debvm-run +++ b/bin/debvm-run @@ -235,12 +235,10 @@ if test "$ARCHITECTURE" = "$VMARCH"; then # be passed when kvm really is available. if test -w /dev/kvm; then set -- -enable-kvm -cpu host "$@" - fi - case "$VMARCH" in - arm64) + if test "$VMARCH" = arm64; then MACHINE="$MACHINE,gic-version=host" - ;; - esac + fi + fi else QEMU="qemu-system-$VMARCH" case "$VMARCH" in |