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

run: provide missing timer route for vbox_pointer 

Add missing timer route.

Fixes #1817
This commit is contained in:
Alexander Boettcher 2015-12-08 13:09:38 +01:00 committed by Christian Helmuth
parent 4e00e8ac68
commit d0db15031a
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
repos/ports/run/vbox_pointer.run
View File

@ -66,6 +66,7 @@ set config {
<service name="LOG"> <parent/> </service>
<service name="SIGNAL"> <parent/> </service>
<service name="CAP"> <parent/> </service>
<service name="Timer"> <child name="timer"/> </service>
</route>
</start>
<alias name="input_drv" child="fb_sdl"/>