mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-21 14:37:50 +00:00
cec8a401ae
This patch marks a child as incomplete if one of the ROM modules listed in its blueprint is missing. This, in turn, triggers the update system in Sculpt, which then tries to download the missing pieces. Issue #4818 |
||
---|---|---|
.. | ||
include | ||
lib | ||
ports | ||
recipes | ||
run | ||
sculpt | ||
src | ||
README |
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.