alex/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Runtime for saving copies of Sculpt's report fs

Browse Source 
Fixes #2849
This commit is contained in:
Norman Feske
2018-06-26 15:36:01 +02:00
parent 6c6b19b198
commit 46241da795
6 changed files with 67 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -691,6 +691,17 @@ append manual_deploy_config {
</start>
-->
<!--
<start name="report_dump" pkg="} [depot_user]/pkg/[current_pkg report_dump] {">
<route>
<service name="File_system" label="report">
<parent label="report"/> </service>
<service name="File_system" label="target">
<child name="default_fs_rw"/> </service>
</route>
</start>
-->
</config>}
set fd [open [run_dir]/genode/manual_deploy.config w]