mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-07 20:00:23 +00:00
440debfc39
This patch changes the depot_query tool to filter the returned index data depending on the 'arch' as specified for the query. This way, one index file can support multiple CPU architectures while allowing individual entries to be architecture-specific. Fixes #4295
This directory is a source-code repository containing Genode-specific services and applications. In contrast to the components that come with the 'os' repository, programs contained in 'gems' are able to leverage the functionalities provided by higher-level repositories such as 'libports'. To use the 'gems' repository, make sure to also add those repositories to your build configuraion.