CONFIG_X86_MAX_ADDITIONAL_MEM_DOMAINS

Maximum number of memory domains

Type: int

Help

The initial page tables at boot are pre-allocated, and used for the
default memory domain. Instantiation of additional memory domains
if common page tables are in use requires a pool of free pinned
memory pages for constructing page tables.

Zephyr test cases assume 3 additional domains can be instantiated.

Direct dependencies

X86_MMU && USERSPACE && !X86_COMMON_PAGE_TABLE && X86

(Includes any dependencies from ifs and menus.)

Default

• 3

Kconfig definition

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

Included via <Zephyr>/Kconfig:8 → <Zephyr>/Kconfig.zephyr:39 → <Zephyr>/arch/Kconfig:12

Menu path: (Top) → X86 Architecture Options

config X86_MAX_ADDITIONAL_MEM_DOMAINS
    int "Maximum number of memory domains"
    default 3
    depends on X86_MMU && USERSPACE && !X86_COMMON_PAGE_TABLE && X86
    help
      The initial page tables at boot are pre-allocated, and used for the
      default memory domain. Instantiation of additional memory domains
      if common page tables are in use requires a pool of free pinned
      memory pages for constructing page tables.

      Zephyr test cases assume 3 additional domains can be instantiated.

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