From ef269ea2e0228983ff6b92485dfb8d06191b4c7e Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Wed, 21 Sep 2022 16:05:32 +0200
Subject: [PATCH] sd_card_bench: disable on rpi

---
 repos/os/run/sd_card_bench.run | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/repos/os/run/sd_card_bench.run b/repos/os/run/sd_card_bench.run
index e3a2b9226c..32932a7d58 100644
--- a/repos/os/run/sd_card_bench.run
+++ b/repos/os/run/sd_card_bench.run
@@ -1,7 +1,8 @@
 #
 # Check for platform support
 #
-if {[get_cmd_switch --autopilot] && [have_board virt_qemu_riscv]} {
+if {[get_cmd_switch --autopilot] &&
+	[expr [have_board virt_qemu_riscv] || [have_board rpi]]} {
 	puts "Autopilot mode is not supported on this platform."
 	exit 0
 }