genode/repos/ports
Norman Feske cb232891bf Fix noux.run on base-linux
The recent move of the initial three region maps into the PD session
breaks the noux.run test on Linux because the address spaces are locally
managed on this platform but the generic code of Noux still tries to
execute the regular procedure of creating the virtualized PD session for
a new Noux process. This patch handles a corner case that occurs on
Linux but no other platform. It enables the successful creation of the
virtualized PD session so that the test runs to completion. Still noux
on Linux remains to be limited to non-forking programs.

Issue #1938
2016-05-23 15:52:36 +02:00
..
doc libc: pipe plugin 2016-05-23 15:52:35 +02:00
include Thread API cleanup 2016-05-23 15:49:55 +02:00
lib vbox: remove USB (OHCI) pass-through support 2016-02-05 10:47:44 +01:00
mk Noux: workaround for libtool problem 2016-04-11 11:51:44 +02:00
ports ports: update hash of gcc (with risc-v patches) 2016-03-07 12:33:14 +01:00
run libc: pipe plugin 2016-05-23 15:52:35 +02:00
src Fix noux.run on base-linux 2016-05-23 15:52:36 +02:00
README Remove repos/qt4, fix #1451 2015-03-19 08:57:20 +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'.