depot_autopilot: add route to IO_MEM for timer

* some timer drivers like epit for i.MX* need I/O memory access Ref #3027
2018-12-03 13:21:32 +01:00 · 2018-12-03 13:21:32 +01:00 · 76966ed61a
parent 6315e4503e
commit 76966ed61a
1 changed files with 1 additions and 0 deletions
--- 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"/>