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 _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
