genode/repos/gems/run/sculpt/launcher/download_debian

<launcher pkg="cnuke/pkg/download_debian/18.09">
	<route>
		<service name="File_system" label="target"> <child name="vm_fs"/> </service>
		<service name="File_system" label="fonts">  <child name="fonts_fs"/> </service>
		<service name="Nic">       <child name="nic_router"/> </service>
		<service name="Nitpicker"> <child name="wm"/> </service>
		<service name="RM">        <parent/> </service>
	</route>
</launcher>
sculpt: update download_debian launcher for 18.09 2018-09-20 11:17:59 +00:00			`<launcher pkg="cnuke/pkg/download_debian/18.09">`
sculpt: separate launchers from deploy config The most important route of each launcher is at the top of routes and will be used to layout the graph topology of the runtime view. By caching the state reports generated by the runtime init, the sculpt manager becomes able to quickly check for the presence of components. So we can apply routing-dependency checks not only prior starting components but also while components are running. Fixes #2938 Fixes #2912 2018-08-15 15:39:08 +00:00			`<route>`
			`<service name="File_system" label="target"> <child name="vm_fs"/> </service>`
			`<service name="File_system" label="fonts"> <child name="fonts_fs"/> </service>`
			`<service name="Nic"> <child name="nic_router"/> </service>`
			`<service name="Nitpicker"> <child name="wm"/> </service>`
			`<service name="RM"> <parent/> </service>`
			`</route>`
			`</launcher>`