| commit | 3ebcd8307e9a6042bef7181b47b5ee26aa0609e5 | [log] [tgz] |
|---|---|---|
| author | Daniel Leung <daniel.leung@intel.com> | Tue Mar 02 14:14:15 2021 -0800 |
| committer | Anas Nashif <anas.nashif@intel.com> | Sun Mar 28 08:30:06 2021 -0400 |
| tree | b4f7a193af44afc1a6da25f4ea905029fa8c1a49 | |
| parent | c36f0ca8af750deb4f0d70d314dd0827c87d878a [diff] |
x86: mmu: add kconfig CONFIG_X86_EXTRA_PAGE_TABLE_PAGES The whole page table is pre-allocated at build time and is dependent on the range of address space. This kconfig allows reserving extra pages (of size CONFIG_MMU_PAGE_SIZE) to the page table so that gen_mmu.py can make use of these extra pages. Signed-off-by: Daniel Leung <daniel.leung@intel.com>