denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

base-hw: provide SIGNAL service in nested_init.run

Browse Source 
ref #601
This commit is contained in:
Martin Stein
2013-02-05 16:02:42 +01:00
committed by Norman Feske
parent 5d8a43dd08
commit 96fbd9e832
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
base-hw/run/nested_init.run
View File

@@ -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>