mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-19 11:16:57 +00:00
6f0a727aee
This patch enhances the 'Child' interface with the ability to retry the deployment after an initial attempt failed. This way, packages can be installed on demand based on the error feedback of deployment attempts. |
||
---|---|---|
.. | ||
include | ||
lib | ||
recipes | ||
run | ||
src | ||
README |
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.