5fff9d4b5b
A client of the Terminal service that connects to a shell on a remote SSH server. It is configured with a "host" file found in its root directory with the following format: <host name="sdf-eu.org" port="22" user="root" pass="foo" known="yes"/> The port, pass, and known attributes are optional. The client will first try to authenticate with a keypair found in the root directory with a fallback to password authentication. The client will automatically disconnect from hosts that are not found in "/known_hosts", unless the "known" attribute is set to the negative in the host file.
==========================================================
A collection of community-maintained components for Genode
==========================================================
This repository hosts Genode components that do not fall in the narrow scope of
the Genode OS Framework (http://genode.org), e.g., ported applications,
libraries, and games.
To use it, you first need to obtain a clone of Genode:
! git clone https://github.com/genodelabs/genode.git genode
Now, clone the _genode-world.git_ repository to _genode/repos/world_:
! git clone https://github.com/genodelabs/genode-world.git genode/repos/world
By placing the _world_ repository under the _repos/_ directory, Genode's tools
will automatically incorporate the ports provided by the _world_ repository.
For building software of the _world_ repository, the build-directory
configuration _etc/build.conf_ must be extended with the following line:
! REPOSITORIES += $(GENODE_DIR)/repos/world
Note of caution
---------------
In contrast to the components found in the mainline Genode repository, the
components within the _world_ repository are not subjected to the regular
quality-assurance measures of Genode Labs. Hence, problems are to be expected.
If you encounter bugs, build problems, or stability issues, please report them
to the issue tracker [1] or the Genode mailing list [2].
[1] https://github.com/genodelabs/genode-world/issues
[2] http://genode.org/community/mailing-lists