genode/ports
Martin Stein ff28a89000 noux: make RM replay less noisy in release mode
As the message "replay: missing dataspace info for ..." occurs multiple times
on every fork, it slows down at least noux_tool_chain_auto with hw_arndale
about 10 seconds. To avoid this overhead in release mode I've turned it into a
warning rather than an error.

ref #1096
2014-04-07 17:01:21 +02:00
..
doc Update the GDB monitor test documentation 2012-02-26 13:52:20 +01:00
include noux: Noux_connection::context_area_rm_session() 2014-02-25 14:58:04 +01:00
lib vbox: fix dependencies of generated files 2014-03-06 14:53:33 +01:00
mk Merge base libraries into a single library 2013-02-19 14:45:55 +01:00
ports vbox: requires installation of yasm 2014-03-06 14:53:32 +01:00
run run: change resolution of virtualbox_auto_disk 2014-04-07 11:56:45 +02:00
src noux: make RM replay less noisy in release mode 2014-04-07 17:01:21 +02:00
Makefile ports/libports: Use repository-local PWD 2013-06-12 11:35:13 +02:00
README Fixed a typo (added 'require'), fix #87 2012-01-19 20:37:29 +01: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.