mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-22 04:52:56 +01:00
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).