mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-10 12:51:34 +00:00
c7e79030dd
The triggering of a new depot query can happen more than once per activation of the sculpt manager if multiple conditions call for updated information about the depot. When this happens, the depot-query component produces intermediate results, which are not consumed by the sculpt manager. By deferring depot queries for a few milliseconds, we avoid such intermediate queries, relieving the workload of the depot-query component at system boot time. Issue #3436
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.