mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-24 15:56:41 +00:00
10 lines
144 B
Plaintext
10 lines
144 B
Plaintext
<launcher pkg="top">
|
|
|
|
<route>
|
|
<service name="TRACE"> <parent/> </service>
|
|
</route>
|
|
|
|
<config period_ms="5000" sort_time="ec"/>
|
|
|
|
</launcher>
|