ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-09 04:15:52 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sculpt: decouple vm_fs from vm in config/deploy

Browse Source 
The 'vm_fs' is also needed by 'download_debian', which must be executed
before 'vm'.
This commit is contained in:
Norman Feske 2018-06-01 14:14:41 +02:00 committed by Christian Helmuth
parent 7791937e84
commit 5eb41084a0
1 changed files with 14 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
repos/gems/run/sculpt.run
View File

@ -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>