diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2023-01-21 07:33:17 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2023-01-21 07:33:17 +0100 |
| commit | 25c0cf3197084509de0b181cb2b836944dd81cb0 (patch) | |
| tree | c047d540f301602877a112b5da0165cc8d3437dc /bin | |
| parent | f35e84f8c376b87f8ff6abfc1aa4e13618557aa1 (diff) | |
| download | debvm-25c0cf3197084509de0b181cb2b836944dd81cb0.tar.gz | |
debvm-run: only pass gic-version when kvm is available
Fixes: bfaa3d124fab ("debvm-run: on arm64 there is no default machine -- set one")
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 |