From 5eb41084a09259cc6d69f01f7ed7baecec4aea6a Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 1 Jun 2018 14:14:41 +0200
Subject: [PATCH] sculpt: decouple vm_fs from vm in config/deploy

The 'vm_fs' is also needed by 'download_debian', which must be executed
before 'vm'.
---
 repos/gems/run/sculpt.run | 26 ++++++++++++++------------
 1 file changed, 14 insertions(+), 12 deletions(-)

diff --git a/repos/gems/run/sculpt.run b/repos/gems/run/sculpt.run
index aae576902b..ceb2d60fcb 100644
--- a/repos/gems/run/sculpt.run
+++ b/repos/gems/run/sculpt.run
@@ -580,7 +580,21 @@ append manual_deploy_config {
 		</route>
 		<config> <default-policy path="/vm/debian" writeable="yes"/> </config>
 	</start>
+	-->
 
+<!--
+	<start name="download_debian" pkg="cnuke/pkg/download_debian/2018-05-30">
+		<route>
+			<service name="File_system" label="fonts">  <child name="fonts_fs"/> </service>
+			<service name="File_system" label="target"> <child name="vm_fs"/> </service>
+			<service name="Nic">       <child name="nic_router"/> </service>
+			<service name="Nitpicker"> <child name="wm"/> </service>
+			<service name="RM">        <parent/> </service>
+		</route>
+	</start>
+-->
+
+<!--
 	<start name="vm" ram="4300M" pkg="} [depot_user]/pkg/[current_pkg vbox5-nova-sculpt] {">
 		<route>
 			<service name="ROM"    label="capslock"> <parent label="capslock"/> </service>
@@ -599,18 +613,6 @@ append manual_deploy_config {
 	</start>
 -->
 
-<!--
-	<start name="download_debian" pkg="cnuke/pkg/download_debian/2018-05-30">
-		<route>
-			<service name="File_system" label="fonts">  <child name="fonts_fs"/> </service>
-			<service name="File_system" label="target"> <child name="vm_fs"/> </service>
-			<service name="Nic">       <child name="nic_router"/> </service>
-			<service name="Nitpicker"> <child name="wm"/> </service>
-			<service name="RM">        <parent/> </service>
-		</route>
-	</start>
--->
-
 <!--
 	<start name="top_view" pkg="alex-ab/pkg/top_view/2018-05-29-a">
 		<route>