mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
Add missing route to timer
This commit is contained in:
committed by
Norman Feske
parent
5600328d83
commit
3f9bf7e5dd
@@ -68,7 +68,7 @@ append_if [expr ![have_spec foc]] config {
|
||||
|
||||
append config {
|
||||
</config>
|
||||
<route> <any-service> <parent/> </any-service> </route>
|
||||
<route> <any-service> <parent/> <any-child/> </any-service> </route>
|
||||
</start>
|
||||
<start name="terminal_mux">
|
||||
<resource name="RAM" quantum="4M"/>
|
||||
|
||||
Reference in New Issue
Block a user