genode/repos/ports
Stefan Kalkowski e8d1d6e87c rpi: add missing drivers in run-scripts (Fix #1366)
Add platform driver and usb-network driver for platform_rpi where appropriated.
2015-01-20 11:23:50 +01:00
..
doc Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
include thread API & CPU session: accounting of CPU quota 2014-11-28 12:02:37 +01:00
lib vbox: update to virtualbox 4.3.16 2014-11-28 12:02:40 +01:00
mk ports: migrate to new ports mechanism 2014-05-27 11:14:43 +02:00
ports vbox: support absolute mouse input events 2014-12-19 13:58:47 +01:00
run rpi: add missing drivers in run-scripts (Fix #1366) 2015-01-20 11:23:50 +01:00
src vbox: use libc's 'gettimeofday()' function 2015-01-20 11:23:50 +01:00
Makefile Unify 'make prepare' between libports and ports 2014-05-14 16:08:00 +02:00
README Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00

This directory contains ports of popular 3rd-party applications to Genode.

The 'ports' repository follows the line of the 'libports' repository.
For instructions about downloading and building 3rd-party applications,
please refer to 'libports/README'.


Dependencies from other repositories
------------------------------------

Application provided by the 'ports' repository typically expect a rich
runtime environment, including shared libraries provided by the 'libports'
repository. Hence, 'ports' depends on 'libports'. Furthermore, applications
may require additional repositories. For example, the Arora web browser depends
on the 'qt4' repository.