run/cpu_bench.run: add timeout for zynq_usrp_e31x

genodelabs/genode#5056
This commit is contained in:
Johannes Schlatow 2023-11-15 14:47:35 +01:00 committed by Christian Helmuth
parent e9f3101105
commit cd34effd64

View File

@ -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 }