CONFIG_X86_MMU_PAGE_POOL_PAGES

Number of pages to reserve for building page tables

Type: int

Help

Building page tables at boot requires a pool of free memory pages to construct it. This can’t be derived at build time, tune this to your SoC’s specific memory map.

Direct dependencies

X86_MMU && X86

(Includes any dependencies from ifs and menus.)

Default

  • 16

Kconfig definition

At arch/x86/Kconfig:171

Included via Kconfig:8Kconfig.zephyr:34arch/Kconfig:12

Menu path: (Top) → X86 Architecture Options → Enable Memory Management Unit

config X86_MMU_PAGE_POOL_PAGES
    int "Number of pages to reserve for building page tables"
    default 16
    depends on X86_MMU && X86
    help
      Building page tables at boot requires a pool of free memory pages
      to construct it. This can't be derived at build time, tune this
      to your SoC's specific memory map.

(The ‘depends on’ condition includes propagated dependencies from ifs and menus.)