Collection of community-maintained components for Genode
Emery Hemingway a07707f08d Entropy visualizer for Nitpicker 4 days ago
doc Use base/log.h instead of deprecated base/printf.h 2 years ago
include Remove Nim libraries 4 months ago
lib Port of the eXtended Keccak Code Package 2 days ago
mk Post-quantum signing utilities 4 months ago
ports Port of the eXtended Keccak Code Package 2 days ago
recipes Entropy visualizer for Nitpicker 2 days ago
run Entropy visualizer for Nitpicker 2 days ago
src Entropy visualizer for Nitpicker 2 days ago
.gitignore .gitignore 4 years ago
LICENSE Adjust LICENSE to the new location 2 years ago
README Adjust README to the new repository location 2 years ago

README


==========================================================
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