12 May
2022
12 May
'22
2:19 p.m.
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/4ec4910bdfbc658da0f3c1149974e...
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