mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 13:47:56 +00:00
16 lines
942 B
Plaintext
16 lines
942 B
Plaintext
<launcher pkg="system_shell" priority="-2">
|
|
<route>
|
|
<service name="Gui"> <child name="wm"/> </service>
|
|
<service name="File_system" label="fonts"> <child name="fonts_fs"/> </service>
|
|
<service name="File_system" label="target"> <child name="default_fs_rw"/> </service>
|
|
<service name="File_system" label="config"> <parent label="config"/> </service>
|
|
<service name="File_system" label="report"> <parent label="report"/> </service>
|
|
<service name="Report" label="clipboard"> <parent label="clipboard"/> </service>
|
|
<service name="ROM" label="clipboard"> <parent label="clipboard"/> </service>
|
|
<service name="ROM" label="vimrc"> <parent label="config -> vimrc"/> </service>
|
|
<service name="ROM" label_last="cached_fs_rom">
|
|
<parent label="cached_fs_rom"/> </service>
|
|
<service name="RM"> <parent/> </service>
|
|
</route>
|
|
</launcher>
|