Norman Feske 8893b800e0 depot_deploy: report only on state changes
This patch mitigates potential busy feedback effects when evaluating the
reports produced by 'depot_deploy' in a closed control loop. Reports
are now generated only if the deployment state has changed.

Issue #4818
2023-04-26 11:58:15 +02:00
..
2022-02-15 10:23:15 +01:00
2023-04-17 14:48:30 +02:00
2023-03-13 14:32:53 +01:00

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.