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

Some documentation tweaks/cleanups

Browse Source 
Fixes #4773
This commit is contained in:
Roland Bär 2023-02-24 11:20:47 +01:00 committed by Christian Helmuth
parent a4d45921c6
commit 470f07d462
2 changed files with 8 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
repos/gems/src/server/file_terminal/README
View File

@ -2,14 +2,13 @@ File terminal is a service that provides a terminal-session interface and
redirects the terminal input and output to a file.
! <config>
! <policy label_prefix="client1" filename="test.txt" />
! <policy label_prefix="client2" filename="file.dat" io_buffer_size="4K"/>h
! <libc stdout="/dev/log">
! <vfs>
! <dir name="dev"> <log/> </dir>
! <fs/>
! </vfs>
! </libc>
! <policy label_prefix="client1" filename="test.txt"/>
! <policy label_prefix="client2" filename="file.dat" io_buffer_size="4K"/>
! <libc stdout="/dev/log"/>
! <vfs>
! <dir name="dev"> <log/> </dir>
! <fs/>
! </vfs>
! </config>
To keep things simple, a client can only open one file at the moment.

2
repos/os/src/server/vfs_block/README
View File

@ -22,7 +22,7 @@ component:
! file="/vfs_block.img" block_size="512" writeable="yes"/>
! </config>
! <route>
! <service name="File_system" label="backend>
! <service name="File_system" label="backend">
! <child name="fs_provider"/> </service>
! <any-service> <parent/> </any-service>
! </route>