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

ssh_client pkg: use font fs and clipboard

Browse Source 
Fix #200
This commit is contained in:
Stefan Kalkowski
2020-02-13 11:40:58 +01:00
committed by Norman Feske
parent dc2eecbd63
commit 26ec7ca719
1 changed files with 8 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
recipes/pkg/ssh_client/runtime
View File

@@ -1,10 +1,13 @@
<runtime ram="32M" caps="512" binary="init">
<requires>
<file_system/>
<nic/>
<nitpicker/>
<timer/>
<file_system label="ssh" writeable="no"/>
<file_system label="fonts" writeable="no"/>
<rom label="clipboard"/>
<report label="clipboard"/>
</requires>
<content>
@@ -31,6 +34,7 @@
<service name="CPU"/>
<service name="LOG"/>
<service name="Timer"/>
<service name="Report"/>
<service name="File_system"/>
<service name="Nic"/>
<service name="Nitpicker"/>
@@ -49,11 +53,13 @@
<start name="terminal">
<resource name="RAM" quantum="4M"/>
<provides> <service name="Terminal"/> </provides>
<config>
<config copy="yes" paste="yes">
<vfs> <dir name="fonts"> <fs/> </dir> </vfs>
</config>
<route>
<service name="File_system"> <parent label="fonts"/> </service>
<service name="Report" label="clipboard"> <parent label="clipboard"/> </service>
<service name="ROM" label="clipboard"> <parent label="clipboard"/> </service>
<any-service> <parent/> <any-child/> </any-service>
</route>
</start>