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