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¶

BOARD_MINNOWBOARD || BOARD_UP_SQUARED || BOARD_UP_SQUARED_32 || (X86_MMU && X86)

(Includes any dependencies from ifs and menus.)

Defaults¶

3072 if X86_MMU
3072 if X86_MMU
3072 if X86_MMU
17

Kconfig definitions¶

At <Zephyr>/boards/x86/minnowboard/Kconfig.defconfig:11

Included via <Zephyr>/Kconfig:8 → <Zephyr>/Kconfig.zephyr:24

Menu path: (Top)

config X86_MMU_PAGE_POOL_PAGES
    int
    default 3072 if X86_MMU
    depends on BOARD_MINNOWBOARD

At <Zephyr>/boards/x86/up_squared/Kconfig.defconfig:14

Included via <Zephyr>/Kconfig:8 → <Zephyr>/Kconfig.zephyr:24

Menu path: (Top)

config X86_MMU_PAGE_POOL_PAGES
    int
    default 3072 if X86_MMU
    depends on BOARD_UP_SQUARED

At <Zephyr>/boards/x86/up_squared/Kconfig.defconfig:28

Included via <Zephyr>/Kconfig:8 → <Zephyr>/Kconfig.zephyr:24

Menu path: (Top)

config X86_MMU_PAGE_POOL_PAGES
    int
    default 3072 if X86_MMU
    depends on BOARD_UP_SQUARED_32

At <Zephyr>/arch/x86/Kconfig:193

Included via <Zephyr>/Kconfig:8 → <Zephyr>/Kconfig.zephyr:29 → <Zephyr>/arch/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 17
    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.)