From 1cb4b4e2d87ab3abb74dccd00522f593c7ea654b Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 4 May 2023 16:31:08 +0200
Subject: [PATCH] os: remove gpio_led.run and gpio_signal.run

The gpio session interface is deprecated and the run scripts are not
regularly executed.

Removed in the context of issue #4860.
---
 repos/os/run/gpio_led.run    | 74 ---------------------------------
 repos/os/run/gpio_signal.run | 79 ------------------------------------
 2 files changed, 153 deletions(-)
 delete mode 100644 repos/os/run/gpio_led.run
 delete mode 100644 repos/os/run/gpio_signal.run

diff --git a/repos/os/run/gpio_led.run b/repos/os/run/gpio_led.run
deleted file mode 100644
index 74d42df84a..0000000000
--- a/repos/os/run/gpio_led.run
+++ /dev/null
@@ -1,74 +0,0 @@
-#
-# Build
-#
-if {![have_board rpi]} {
-	puts "Runs only on platforms with GPIO"
-	exit 0
-}
-
-set build_components {
-	core init timer
-	drivers/gpio
-	test/gpio_led
-}
-
-build $build_components
-
-create_boot_directory
-
-#
-# Generate config
-# Example preconfigured for RaspberryPI ACT Led
-#
-
-append config {
-<config>
-	<parent-provides>
-		<service name="ROM"/>
-		<service name="IRQ"/>
-		<service name="IO_MEM"/>
-		<service name="IO_PORT"/>
-		<service name="PD"/>
-		<service name="RM"/>
-		<service name="CPU"/>
-		<service name="LOG"/>
-	</parent-provides>
-	<default-route>
-		<any-service> <parent/> <any-child/> </any-service>
-	</default-route>
-	<start name="timer">
-		<resource name="RAM" quantum="1M"/>
-		<provides><service name="Timer"/></provides>
-	</start>}
-
-append config {
-		<start name="rpi_gpio_drv">
-		<resource name="RAM" quantum="1M"/>
-		<provides><service name="Gpio"/></provides>
-		<config>
-			<gpio num="16" mode="O" value="0"/>
-		</config>
-	</start>
-	<start name="led_gpio_drv">
-		<config gpio_pin="16" delay="500" times="5"/>
-		<resource name="RAM" quantum="1M"/>
-	</start>
-</config>}
-
-install_config $config
-
-#
-# Boot modules
-#
-
-# generic modules
-set boot_modules {
-	core ld.lib.so init
-	timer
-	led_gpio_drv
-	rpi_gpio_drv
-}
-
-build_boot_image $boot_modules
-
-run_genode_until forever
diff --git a/repos/os/run/gpio_signal.run b/repos/os/run/gpio_signal.run
deleted file mode 100644
index ae2035d113..0000000000
--- a/repos/os/run/gpio_signal.run
+++ /dev/null
@@ -1,79 +0,0 @@
-#
-# Build
-#
-if {![have_board rpi]} {
-	puts "Runs only on platforms with GPIO"
-	exit 0
-}
-
-set build_components {
-	core init timer
-	drivers/gpio
-	test/gpio_signal
-}
-
-build $build_components
-
-create_boot_directory
-
-#
-# Generate config
-# Example preconfigured for RaspberryPI ACT Led
-#
-
-append config {
-<config>
-	<parent-provides>
-		<service name="ROM"/>
-		<service name="IRQ"/>
-		<service name="IO_MEM"/>
-		<service name="IO_PORT"/>
-		<service name="PD"/>
-		<service name="RM"/>
-		<service name="CPU"/>
-		<service name="LOG"/>
-	</parent-provides>
-	<default-route>
-		<any-service> <parent/> <any-child/> </any-service>
-	</default-route>
-	<start name="timer">
-		<resource name="RAM" quantum="1M"/>
-		<provides><service name="Timer"/></provides>
-	</start>}
-
-
-append config {
-		<start name="rpi_gpio_drv"/>
-		<resource name="RAM" quantum="1M"/>
-		<provides><service name="Gpio"/></provides>
-		<config async_events="0">
-			<gpio num="14" function="0"/>
-			<gpio num="15" function="0"/>
-			<gpio num="17" mode="I"/>
-			<gpio num="16" mode="O" value="0"/>
-		</config>
-	</start>
-	<start name="signal_gpio_drv">
-		<config gpio_pin="16" gpio_pin_in="17" gpio_pin_out="18" state="1"/>
-		<resource name="RAM" quantum="1M"/>
-	</start>
-</config>}
-
-install_config $config
-
-#
-# Boot modules
-#
-
-# generic modules
-set boot_modules {
-	core ld.lib.so init
-	timer
-	signal_gpio_drv
-}
-
-append boot_modules rpi_gpio_drv
-
-build_boot_image $boot_modules
-
-run_genode_until forever