ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-24 13:05:41 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/ports
History
Oleg Girko a5bc031cca genode_org: Fix download URL. 
As genode.org site is now protected by TLS and unencrypted site
is redirected to enctypted one, download URL should be modified
to reflect this change.

Without this change, wget downloads just index.html file.

Signed-off-by: Oleg Girko <ol@infoserver.lv>

Fixes #3538
2019-11-19 14:42:23 +01:00
..
doc
Remove libc_terminal
2019-06-13 12:13:40 +02:00
include
file system: enhanced file status info
2019-11-19 14:23:56 +01:00
lib
vbox: add 'RTMemDupExTag()' implementation
2019-08-21 12:37:00 +02:00
mk
Replace ENV make variable with MKENV.
2019-11-19 14:42:23 +01:00
ports
file system: enhanced file status info
2019-11-19 14:23:56 +01:00
recipes
noux: add time modification
2019-11-19 14:17:30 +01:00
run
genode_org: Fix download URL.
2019-11-19 14:42:23 +01:00
src
Replace ENV make variable with MKENV.
2019-11-19 14:42:23 +01:00
README
Remove repos/qt4, fix #1451
2015-03-19 08:57:20 +01:00

README 

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'.