mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-11 23:43:15 +00:00
23ad546a88
This patch improves the accuracy of init's quota-saturation feature (handing out all slack quota to a child by specifying an overly high RAM quota for the child) and makes the RAM preserved by init configurable. The preservation is specified as follows: ! <config> ! ... ! <resource name="RAM" preserve="1M"/> ! ... ! </config> If not specified, init has a reasonable default of 160K (on 32 bit) and 320K (on 64 bit). |
||
---|---|---|
.. | ||
child_config.h | ||
child_policy.h | ||
child.h | ||
report.h | ||
verbose.h |