debvm-run: on arm64 there is no default machine -- set one

1 files changed, 5 insertions, 0 deletions

diff --git a/debvm-run b/debvm-run
index 3ccbf14..aa09ccb 100755
--- a/debvm-run
+++ b/debvm-run
@@ -105,6 +105,11 @@ if test "$ARCHITECTURE" = "$VMARCH"; then
 	if test -w /dev/kvm; then
 		set -- -enable-kvm -cpu host "$@"
 	fi
+	case "$VMARCH" in
+		arm64)
+			set -- -machine type=virt,gic-version=host "$@"
+		;;
+	esac
 else
 	case "$VMARCH" in
 		arm64)