From cd34effd64c97bdca10b66fc7ded6b82c493d019 Mon Sep 17 00:00:00 2001
From: Johannes Schlatow <johannes.schlatow@genode-labs.com>
Date: Wed, 15 Nov 2023 14:47:35 +0100
Subject: [PATCH] run/cpu_bench.run: add timeout for zynq_usrp_e31x

genodelabs/genode#5056
---
 repos/os/run/cpu_bench.run | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/os/run/cpu_bench.run b/repos/os/run/cpu_bench.run
index 2560d023dc..23c8d295a2 100644
--- a/repos/os/run/cpu_bench.run
+++ b/repos/os/run/cpu_bench.run
@@ -48,6 +48,7 @@ proc bogomips_max_time { } {
 	if {[have_board imx6q_sabrelite]} { return  6320 }
 	if {[have_board imx7d_sabre]}     { return  9470 }
 	if {[have_board imx8q_evk]}       { return  7510 }
+	if {[have_board zynq_usrp_e31x]}  { return  7510 }
 	if {[have_board pc]} {
 		if {[have_spec x86_64]} { return   600 }
 		if {[have_spec x86_32]} { return  3150 }