From a3a8978d77dabe5ebd86d7a03297d5b187bf1db2 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Wed, 2 Dec 2015 12:11:54 +0100
Subject: [PATCH] cpu_quota zynq_qemu: raise error tolerance

On Qemu, the test results for Xilinx Zynq-7000 are less stable than usual.

Ref #1805
---
 repos/os/run/cpu_quota.run | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/repos/os/run/cpu_quota.run b/repos/os/run/cpu_quota.run
index a6a55a201..4e77ca490 100644
--- a/repos/os/run/cpu_quota.run
+++ b/repos/os/run/cpu_quota.run
@@ -154,6 +154,12 @@ proc check_counter { name opt cnt total_cnt } {
 	#
 	if {[have_spec x86]} { set tol 0.02 }
 
+	#
+	# Zynq is currently tested merely in Qemu and most likely because of
+	# that, the results are less precise.
+	#
+	if {[have_spec zynq_qemu]} { set tol 0.03 }
+
 	if {[expr $total_cnt != 0]} { set is [expr double($cnt) / $total_cnt ] }
 
 	set err      [expr $is - $opt]