From 77e266d1ff20b3fd3ad039d6bb3f8e93504324dd Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Tue, 31 Jan 2017 12:03:57 +0100
Subject: [PATCH] fb_bench: add gpio driver when supported

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

diff --git a/repos/os/run/fb_bench.run b/repos/os/run/fb_bench.run
index 4725fee60..bc287ba77 100644
--- a/repos/os/run/fb_bench.run
+++ b/repos/os/run/fb_bench.run
@@ -10,6 +10,8 @@ set build_components { core init test/fb_bench drivers/framebuffer drivers/timer
 source ${genode_dir}/repos/base/run/platform_drv.inc
 append_platform_drv_build_components
 
+lappend_if [have_spec gpio] build_components drivers/gpio
+
 build $build_components
 
 create_boot_directory
@@ -40,6 +42,13 @@ append config {
 		<provides><service name="Timer"/></provides>
 	</start>}
 
+append_if [have_spec gpio] config {
+	<start name="gpio_drv">
+		<resource name="RAM" quantum="4M"/>
+		<provides><service name="Gpio"/></provides>
+		<config/>
+	</start>}
+
 append_if [have_spec sdl] config {
 	<start name="fb_sdl">
 		<resource name="RAM" quantum="4M"/>
@@ -75,6 +84,7 @@ append_platform_drv_boot_modules
 
 lappend_if [have_spec sdl]         boot_modules fb_sdl
 lappend_if [have_spec framebuffer] boot_modules fb_drv
+lappend_if [have_spec gpio]        boot_modules gpio_drv
 
 build_boot_image $boot_modules