ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

panda: add route to timer in run script 

Fix #700
This commit is contained in:
Alexander Boettcher 2013-03-21 14:26:14 +01:00 committed by Norman Feske
parent b06cc3250a
commit 9a1d13c32d
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
ports-foc/run/two_linux_panda.run
View File

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