From bfaa3d124fab6164cdd78101d98a39d5ff74d361 Mon Sep 17 00:00:00 2001
From: Johannes Schauer Marin Rodrigues <josch@mister-muffin.de>
Date: Wed, 21 Dec 2022 20:17:55 +0100
Subject: debvm-run: on arm64 there is no default machine -- set one

---
 debvm-run | 5 +++++
 1 file changed, 5 insertions(+)

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)
-- 
cgit v1.2.3