genode

mirror of https://github.com/genodelabs/genode.git synced 2025-05-23 02:34:08 +00:00

History

Norman Feske ca971bbfd8 Move repositories to 'repos/' subdirectory

This patch changes the top-level directory layout as a preparatory
step for improving the tools for managing 3rd-party source codes.
The rationale is described in the issue referenced below.

Issue #1082

2014-05-14 16:08:00 +02:00

main.cc

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

README

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

target.mk

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

README

File terminal is a service that provides a terminal-session interface and
redirects the terminal input and output to a file.

! <config>
!   <policy label="client1" filename="test.txt" />
!   <policy label="client2" filename="file.dat" io_buffer_size="4K"/>h
!   <libc stdout="/dev/log">
!     <vfs>
!       <dir name="dev"> <log/> </dir>
!       <fs/>
!     </vfs>
!   </libc>
! </config>

To keep things simple, a client can only open one file at the moment.