From 15780a657c5d3525f2de3ee4d52401d41248d438 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 12 Mar 2021 12:09:17 +0100
Subject: [PATCH] sd_card_bench.run: allow timer to reach IO_MEM

This is needed on seL4 on i.MX6 where the user-level timer driver
accesses memory-mapped I/O registers directly.
---
 repos/os/run/sd_card.run       | 8 +-------
 repos/os/run/sd_card_bench.run | 8 +-------
 2 files changed, 2 insertions(+), 14 deletions(-)

diff --git a/repos/os/run/sd_card.run b/repos/os/run/sd_card.run
index 0ae7a63baa..0922c15239 100644
--- a/repos/os/run/sd_card.run
+++ b/repos/os/run/sd_card.run
@@ -40,13 +40,7 @@ install_config {
 	<start name="timer">
 		<resource name="RAM" quantum="1M"/>
 		<provides><service name="Timer"/></provides>
-		<route>
-			<service name="ROM"> <parent/> </service>
-			<service name="PD">  <parent/> </service>
-			<service name="RM">  <parent/> </service>
-			<service name="CPU"> <parent/> </service>
-			<service name="LOG"> <parent/> </service>
-		</route>
+		<route> <any-service> <parent/> </any-service> </route>
 	</start>
 
 	<start name="pl180_sd_card_drv">
diff --git a/repos/os/run/sd_card_bench.run b/repos/os/run/sd_card_bench.run
index dfafa12de4..925c0fcace 100644
--- a/repos/os/run/sd_card_bench.run
+++ b/repos/os/run/sd_card_bench.run
@@ -106,13 +106,7 @@ install_config {
 	<start name="timer">
 		<resource name="RAM" quantum="1M"/>
 		<provides><service name="Timer"/></provides>
-		<route>
-			<service name="ROM"> <parent/> </service>
-			<service name="PD">  <parent/> </service>
-			<service name="RM">  <parent/> </service>
-			<service name="CPU"> <parent/> </service>
-			<service name="LOG"> <parent/> </service>
-		</route>
+		<route> <any-service> <parent/> </any-service> </route>
 	</start>
 
 	<start name="sd_card_drv">