From 96fbd9e8324eab4da6b062d3f3185d72b06c08f1 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Tue, 5 Feb 2013 16:02:42 +0100
Subject: [PATCH] base-hw: provide SIGNAL service in nested_init.run

ref #601
---
 base-hw/run/nested_init.run | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/base-hw/run/nested_init.run b/base-hw/run/nested_init.run
index 823cad1aa0..94f4e8cf61 100644
--- a/base-hw/run/nested_init.run
+++ b/base-hw/run/nested_init.run
@@ -21,6 +21,7 @@ install_config {
 		<service name="RM"/>
 		<service name="CPU"/>
 		<service name="LOG"/>
+		<service name="SIGNAL"/>
 	</parent-provides>
 	<default-route><any-service><parent/></any-service></default-route>
 
@@ -35,6 +36,7 @@ install_config {
 				<service name="RM"/>
 				<service name="CPU"/>
 				<service name="LOG"/>
+				<service name="SIGNAL"/>
 			</parent-provides>
 			<default-route><any-service><parent/></any-service></default-route>
 
@@ -49,6 +51,7 @@ install_config {
 						<service name="RM"/>
 						<service name="CPU"/>
 						<service name="LOG"/>
+						<service name="SIGNAL"/>
 					</parent-provides>
 					<default-route>
 						<any-service><parent/></any-service>