diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/debvm-run | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/bin/debvm-run b/bin/debvm-run index 0d2ee95..d690773 100755 --- a/bin/debvm-run +++ b/bin/debvm-run @@ -261,7 +261,7 @@ case "$KERNELARCH" in arm64) QEMU=qemu-system-aarch64 CPU=max - MACHINE="type=virt" + MACHINE="type=virt,gic-version=max" ;; m68k) MACHINE="type=virt" @@ -315,9 +315,6 @@ if test "$ENABLE_KVM" = yes; then if test -w /dev/kvm; then CPU=host fi - if test "$KERNELARCH" = arm64; then - MACHINE="$MACHINE,gic-version=max" - fi fi if test -n "$MACHINE"; then |