mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-27 22:29:16 +00:00
ba013af1a3
config node gracefully. If no mirror is set, ever claim one entry as the mirrored one. Without this change, the current effect is that the UI does not allow to merge one of the discrete modes. Issue #5392
This directory is a source-code repository containing Genode-specific services and applications. In contrast to the components hosted in 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.