mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 16:35:28 +00:00
f1b46c3205
This change keeps the version-controlled 'pubkey' and 'download' files separate from files generated via depot/create or downloaded via depot/download. So one can remove the entire depot/ directory without interfering with git. Furthermore, depot keys can now be hosted in supplemental repositories independent from Genode's main repository. Fixes #4364
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'.