| commit | 2dfae4a0f72740e560c237dfe2df6f7f1774597b | [log] [tgz] |
|---|---|---|
| author | Daniel Leung <daniel.leung@intel.com> | Thu Jul 22 15:08:28 2021 -0700 |
| committer | Christopher Friedt <chrisfriedt@gmail.com> | Thu Aug 26 21:16:22 2021 -0400 |
| tree | 1269288322b8ffe240050f13944899c571c605f2 | |
| parent | 7ad00b9e47f0c065d7c278df98252436c6bb451b [diff] |
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>