genode/repos/os/include/init
Norman Feske 23ad546a88 init: make RAM preservation configurable
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).
2017-02-28 12:59:30 +01:00
..
child_config.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
child_policy.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
child.h init: make RAM preservation configurable 2017-02-28 12:59:30 +01:00
report.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
verbose.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00