From 178efe9c9788b9f68a3b23e46bf610add4e6df25 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Thu, 19 Apr 2018 12:42:59 +0200
Subject: [PATCH] fetchurl.run: add missing gpio driver

Fixes #2780
---
 repos/libports/run/fetchurl.run | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/repos/libports/run/fetchurl.run b/repos/libports/run/fetchurl.run
index 648dbf661c..47b9048a4f 100644
--- a/repos/libports/run/fetchurl.run
+++ b/repos/libports/run/fetchurl.run
@@ -18,6 +18,12 @@ set build_components {
 	server/report_rom
 }
 
+proc gpio_drv { } { if {[have_spec rpi] && [have_spec hw]}  { return hw_gpio_drv }
+                    if {[have_spec rpi] && [have_spec foc]} { return foc_gpio_drv }
+                    return gpio_drv }
+
+lappend_if [have_spec gpio] build_components drivers/gpio
+
 source ${genode_dir}/repos/base/run/platform_drv.inc
 append_platform_drv_build_components
 
@@ -49,6 +55,13 @@ append config {
 
 append_platform_drv_config
 
+append_if [have_spec gpio] config "
+	<start name=\"[gpio_drv]\">
+		<resource name=\"RAM\" quantum=\"4M\"/>
+		<provides><service name=\"Gpio\"/></provides>
+		<config/>
+	</start>"
+
 append config {
 	<start name="timer">
 		<resource name="RAM" quantum="1M"/>
@@ -110,6 +123,8 @@ set boot_modules {
 append_platform_drv_boot_modules
 lappend boot_modules [nic_drv_binary]
 
+lappend_if [have_spec gpio] boot_modules [gpio_drv]
+
 build_boot_image $boot_modules
 
 append_if [have_spec x86]     qemu_args " -net nic,model=e1000 "