From 24ada90aa30732fdaf31039e0436e982b4d3a340 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Kr=C3=B6ning?=
 <martin.kroening@eonerc.rwth-aachen.de>
Date: Fri, 10 Jul 2026 13:47:36 +0200
Subject: [PATCH] feat(xtask): run AArch64 QEMU with `max` CPU type instead of
 Cortex-A72

---
 xtask/src/ci/qemu.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/xtask/src/ci/qemu.rs b/xtask/src/ci/qemu.rs
index 0e60815491..39803a0cd9 100644
--- a/xtask/src/ci/qemu.rs
+++ b/xtask/src/ci/qemu.rs
@@ -330,7 +330,7 @@ impl Qemu {
 			Arch::Aarch64 | Arch::Aarch64Be => {
 				if !self.accel {
 					cpu_args.push("-cpu".to_owned());
-					cpu_args.push("cortex-a72".to_owned());
+					cpu_args.push("max,lpa2=off".to_owned());
 				}
 
 				cpu_args.push("-semihosting".to_owned());