mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-24 02:51:20 +00:00
53b67810ba
This patch keeps driving the internal state machines until no progress can be made. This required fixing the return values of several execute functions, which used to report progress while being in complete state. Along the way, the patch removes default switch cases to ensure that all states are covered. Issue #4706