restarting child components with resource saturation

[Norman Feske]

Hi Pirmin,

> I wasn't aware, that resource saturation should only be used with static
> init configurations.

our documentation actually missed to highlight the subtle interplay
between these two features. It will be covered in the next version [1]. :-)

[1]
https://github.com/nfeske/genode-manual/commit/4ec4910bdfbc658da0f3c1149974e7e5d9a928ec

Cheers
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

https://www.genode-labs.com · https://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth