-
CONFIG_X86_EXTRA_PAGE_TABLE_PAGES
¶
Reserve extra pages in page table
Type: int
Help¶
The whole page table is pre-allocated at build time and is
dependent on the range of address space. This 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.
Says 0 unless absolutely sure that this is necessary.
Defaults¶
1 if
X86_PAE
&&KERNEL_VM_BASE
!=SRAM_BASE_ADDRESS
0
Kconfig definition¶
At <Zephyr>/arch/x86/Kconfig:371
Included via <Zephyr>/Kconfig:8
→ <Zephyr>/Kconfig.zephyr:29
→ <Zephyr>/arch/Kconfig:12
Menu path: (Top) → X86 Architecture Options
config X86_EXTRA_PAGE_TABLE_PAGES
int "Reserve extra pages in page table"
default 1 if X86_PAE && KERNEL_VM_BASE != SRAM_BASE_ADDRESS
default 0
depends on X86_MMU && X86
help
The whole page table is pre-allocated at build time and is
dependent on the range of address space. This 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.
Says 0 unless absolutely sure that this is necessary.
(The ‘depends on’ condition includes propagated dependencies from ifs and menus.)