From 0dba27d15a459f3408fb71b9c79be9b8f4cbdb1d Mon Sep 17 00:00:00 2001
From: Helmut Grohne <helmut@subdivi.de>
Date: Sat, 21 Jan 2023 10:09:57 +0100
Subject: debvm-run: use gic-version=max for arm64

While the host version only works on kvm, max means the same and also
works on tcg.

Signed-off-by: Johannes Schauer Marin Rodrigues <josch@debian.org>
Signed-off-by: Helmut Grohne <helmut@subdivi.de>
---
 bin/debvm-run | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/bin/debvm-run b/bin/debvm-run
index fc52154..bead93e 100755
--- a/bin/debvm-run
+++ b/bin/debvm-run
@@ -271,9 +271,9 @@ if test "$ARCHITECTURE" = "$VMARCH"; then
 	# be passed when kvm really is available.
 	if test -w /dev/kvm; then
 		CPU=host
-		if test "$VMARCH" = arm64; then
-			MACHINE="$MACHINE,gic-version=host"
-		fi
+	fi
+	if test "$VMARCH" = arm64; then
+		MACHINE="$MACHINE,gic-version=max"
 	fi
 else
 	case "$VMARCH" in
-- 
cgit v1.2.3