From c16611dff23e1d7b33cbdde5cbe45ff5737b2aa4 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Fri, 8 Jan 2021 06:50:19 +0100
Subject: [PATCH] usb_hid_raw.run: add "Timer" service route

Fixes #4008
---
 repos/dde_linux/run/usb_hid_raw.run | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/repos/dde_linux/run/usb_hid_raw.run b/repos/dde_linux/run/usb_hid_raw.run
index e495bc7fa0..615934af10 100644
--- a/repos/dde_linux/run/usb_hid_raw.run
+++ b/repos/dde_linux/run/usb_hid_raw.run
@@ -183,7 +183,10 @@ append config {
 append config "[platform_drv_config_non_x86]"
 append config {
 		</config>
-		<route> <any-service> <parent/> </any-service> </route>
+		<route>
+			<service name="Timer"> <child name="timer"/> </service>
+			<any-service> <parent/> </any-service>
+		</route>
 	</start>
 }
 }