From 9a1d13c32dde8018e87e96379586ee5337d08961 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Thu, 21 Mar 2013 14:26:14 +0100
Subject: [PATCH] panda: add route to timer in run script

Fix #700
---
 ports-foc/run/two_linux_panda.run | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ports-foc/run/two_linux_panda.run b/ports-foc/run/two_linux_panda.run
index bb4a45c04..043290a57 100644
--- a/ports-foc/run/two_linux_panda.run
+++ b/ports-foc/run/two_linux_panda.run
@@ -201,6 +201,7 @@ set config  {
 			<service name="Framebuffer"> <child name="linux.1"/> </service>
 			<service name="Block">       <child name="part_blk"/> </service>
 			<service name="Nic">         <child name="nic_bridge"/> </service>
+			<service name="Timer">       <child name="timer"/> </service>
 			<any-service> <parent/> </any-service>
 		</route>
 	</start>
@@ -215,6 +216,7 @@ set config  {
 			<service name="Framebuffer"> <child name="linux.2"/> </service>
 			<service name="Block">       <child name="part_blk"/> </service>
 			<service name="Nic">         <child name="nic_bridge"/> </service>
+			<service name="Timer">       <child name="timer"/> </service>
 			<any-service> <parent/> </any-service>
 		</route>
 	</start>