mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-22 10:21:04 +00:00
parent
33406940f3
commit
c16611dff2
@ -183,7 +183,10 @@ append config {
|
|||||||
append config "[platform_drv_config_non_x86]"
|
append config "[platform_drv_config_non_x86]"
|
||||||
append config {
|
append config {
|
||||||
</config>
|
</config>
|
||||||
<route> <any-service> <parent/> </any-service> </route>
|
<route>
|
||||||
|
<service name="Timer"> <child name="timer"/> </service>
|
||||||
|
<any-service> <parent/> </any-service>
|
||||||
|
</route>
|
||||||
</start>
|
</start>
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user