genode/repos/gems/sculpt/launcher/download_debug_info

20 lines
446 B
Plaintext
Raw Normal View History

2024-03-12 17:27:07 +00:00
<launcher pkg="dbg_download">
<route>
<service name="File_system" label="system_config">
<parent label="config"/>
</service>
<service name="File_system" label="used">
<child name="default_fs_rw"/>
</service>
<service name="ROM" label="build_info">
<parent label="build_info"/>
</service>
<service name="Nic">
<child name="nic_router"/>
</service>
<service name="RM">
<parent/>
</service>
</route>
</launcher>