From 76966ed61a264fceda88da0cb47b9dbf08905752 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Mon, 3 Dec 2018 13:21:32 +0100
Subject: [PATCH] depot_autopilot: add route to IO_MEM for timer

* some timer drivers like epit for i.MX* need I/O memory access

Ref #3027
---
 repos/gems/run/depot_autopilot.run | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/gems/run/depot_autopilot.run b/repos/gems/run/depot_autopilot.run
index d6acbea39..843537df1 100644
--- a/repos/gems/run/depot_autopilot.run
+++ b/repos/gems/run/depot_autopilot.run
@@ -404,6 +404,7 @@ proc prepare_to_run_genode { } {
 			<service name="ROM"/>
 			<service name="IRQ"/>
 			<service name="IO_PORT"/>
+			<service name="IO_MEM"/>
 			<service name="PD"/>
 			<service name="RM"/>
 			<service name="CPU"/>