From c2e6fd9392ad407bef791e9b097817c446f4018c Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Wed, 8 Feb 2017 15:55:21 +0100
Subject: [PATCH] fb_bench: do not test on i.MX53 + Fiasco.OC

The i.MX53 Framebuffer driver doesn't come up on on Fiasco.OC because the Platform
driver isn't allowed to access essential devises like the SRC or the Fuses. This is
most likely due to the kernel not configuring the CSU appropriately.

Ref #2268
---
 repos/os/run/fb_bench.run | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/repos/os/run/fb_bench.run b/repos/os/run/fb_bench.run
index 80d19a5d2e..2c9e9a153d 100644
--- a/repos/os/run/fb_bench.run
+++ b/repos/os/run/fb_bench.run
@@ -2,7 +2,7 @@
 # Build
 #
 
-if {[have_spec odroid_xu] || [have_spec wand_quad] || [have_spec zynq]} {
+if {[have_spec odroid_xu] || [have_spec wand_quad] || [have_spec zynq] || [have_spec imx53] && [have_spec foc]} {
 	puts "\n Run script is not supported on this platform. \n";
 	exit 0
 }
@@ -64,13 +64,13 @@ append_platform_drv_config
 
 append_if [have_spec framebuffer] config {
 	<start name="fb_drv">
-		<resource name="RAM" quantum="8M"/>
+		<resource name="RAM" quantum="20M"/>
 		<provides><service name="Framebuffer"/></provides>
 	</start>}
 
 append config {
 	<start name="test-fb_bench">
-		<resource name="RAM" quantum="92M"/>
+		<resource name="RAM" quantum="40M"/>
 	</start>
 </config>}