mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 05:37:54 +00:00
8893b800e0
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 |
||
---|---|---|
.. | ||
app | ||
lib | ||
server | ||
test | ||
trace_recorder/policy |