From a497a22edfd847ef3b99b77cea2e4c3cdc892e93 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Wed, 30 May 2012 08:51:28 +0200
Subject: [PATCH] Moon: Route to IO_PORT/IRQ services

The timer needs IRQ and IO_PORT on platforms where it uses the PIT.
---
 libports/run/moon.run | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/libports/run/moon.run b/libports/run/moon.run
index 0b4c21d93..27235e04a 100644
--- a/libports/run/moon.run
+++ b/libports/run/moon.run
@@ -13,6 +13,8 @@ install_config {
 		<service name="RM"/>
 		<service name="CAP"/>
 		<service name="LOG"/>
+		<service name="IO_PORT"/>
+		<service name="IRQ"/>
 	</parent-provides>
 	<default-route>
 		<any-service> <parent/> <any-child/> </any-service>