alex/genode-world
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

README

Browse Source
This commit is contained in:
Norman Feske
2014-09-03 19:06:41 +02:00
commit 9ad4ef4723
1 changed files with 25 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

25
README Normal file
View File

@@ -0,0 +1,25 @@
=========================================
A collection of software ported to Genode
=========================================
This repository hosts ports of existing software, which does not fall in the
narrow scope of the Genode OS framework, e.g., applications and games.
To use it, you first need to obtain a clone of Genode:
! git clone https://github.com/genodelabs/genode.git genode.git
Now, clone the _world.git_ repository to _genode.git/repos/world.git_:
! git clone https://github.com/nfeske/genode-world.git genode.git/repos/world.git
By placing the _world.git_ repository under the _repos/_ directory, Genode's
tools will automatically incorporate the ports provided by _world.git_.
For building software of the _world.git_ repository, the build-directory
configuration _etc/build.conf_ must be extended with the following line:
! REPOSITORIES += $(GENODE_DIR)/repos/world.git