mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-03 01:30:41 +00:00
079484c5d0
The commit avoids the need to have contrib sources of the kernel available for this run script. We actually just want to build core and not the kernel itself, which is always required after recent changes in the ports tool.
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'.