genode/repos/ports
Alexander Boettcher bafe3c3fc3 vbox5: check memory configuration stricter
The required memory of the VMM depends on the VM memory configuration (vbox)
and the available screen resolution. Check for insane configurations in the
beginning to avoid late surprises.

Issue #3216
2019-04-01 19:33:47 +02:00
..
doc Make label prefixing more strict 2016-11-30 13:37:07 +01:00
include Remove residual uses of deprecated APIs 2019-02-19 11:12:12 +01:00
lib virtualbox: fix compiler error with newer iasl versions 2019-03-18 15:56:23 +01:00
mk ports: allow more customizations in gnu_build.mk 2018-02-09 13:34:20 +01:00
ports vbox5: free bitmap source during resize 2019-04-01 19:33:47 +02:00
recipes depot: update recipe hashes 2019-03-19 11:12:36 +01:00
run Increase CAP quota in wifi tests (sel4) 2019-02-26 14:45:07 +01:00
src vbox5: check memory configuration stricter 2019-04-01 19:33:47 +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'.