From 688a5677f4ca305ba167bcbb5dac3f72ff4c92b6 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 10 Aug 2018 14:41:45 +0200
Subject: [PATCH] sculpt: fix deploy entry of acpica

The 'Report' route was missing. The commit also removes superfluous
routing rules for IO_PORT, IRQ, and IO_MEM that are captured by the
subsequenting wildcard anyway.

Issue #2909
---
 repos/gems/run/sculpt.run | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/repos/gems/run/sculpt.run b/repos/gems/run/sculpt.run
index a26c1a3313..404903b142 100644
--- a/repos/gems/run/sculpt.run
+++ b/repos/gems/run/sculpt.run
@@ -430,9 +430,6 @@ install_config {
 			<service name="LOG" label="unlogged"> <parent/> </service>
 			<service name="LOG"> <child name="log"/> </service>
 			<service name="Rtc"> <child name="rtc_drv"/> </service>
-			<service name="IO_MEM"  label_prefix="acpica"> <parent/> </service>
-			<service name="IO_PORT" label_prefix="acpica"> <parent/> </service>
-			<service name="IRQ"     label_prefix="acpica"> <parent/> </service>
 			<any-service> <parent/> </any-service>
 		</route>
 	</start>
@@ -714,9 +711,10 @@ append manual_deploy_config {
 		<route>
 			<service name="ROM" label="platform_info"> <parent/> </service>
 			<service name="Platform"> <parent/> </service>
-			<service name="IO_MEM">   <parent label="acpica"/> </service>
-			<service name="IO_PORT">  <parent label="acpica"/> </service>
-			<service name="IRQ">      <parent label="acpica"/> </service>
+			<service name="IO_MEM">   <parent/> </service>
+			<service name="IO_PORT">  <parent/> </service>
+			<service name="IRQ">      <parent/> </service>
+			<service name="Report">   <parent/> </service>
 		</route>
 	</start>
 -->