tree 1269288322b8ffe240050f13944899c571c605f2
parent 7ad00b9e47f0c065d7c278df98252436c6bb451b
author Daniel Leung <daniel.leung@intel.com> 1626991708 -0700
committer Christopher Friedt <chrisfriedt@gmail.com> 1630026982 -0400

kernel: demand_paging: allow reserving page frames

This adds the kconfig to allow reserving a number of page frames
which do not count towards free memory. This is to ensure that
there are enough page frames available for paging code and data.
Or else, it would be possible to exhaust all page frames via
anonymous memory mappings.

Signed-off-by: Daniel Leung <daniel.leung@intel.com>