mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-11 05:31:28 +00:00
15 lines
454 B
Plaintext
15 lines
454 B
Plaintext
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"/>
|
|
! <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.
|