zephyr/boards/x86/minnowboard/Kconfig.defconfig
Daniel Leung eb10b87430 boards: x86/minnowboard: specify CONFIG_X86_MMU_PAGE_POOL_PAGES
Given that the Minnowboard has relatively large memory, the default
number of pages allocated for page tables are not enough, and
resulting in asserting in the page table initialization code.
So change the number of pages to a large number to accomodate
various applications.

Fixes #24353

Signed-off-by: Daniel Leung <daniel.leung@intel.com>
2020-05-07 20:32:31 -07:00

15 lines
222 B
Plaintext

# SPDX-License-Identifier: Apache-2.0
if BOARD_MINNOWBOARD
config BOARD
default "minnowboard"
config BUILD_OUTPUT_STRIPPED
default y
config X86_MMU_PAGE_POOL_PAGES
default 3072 if X86_MMU
endif # BOARD_MINNOWBOARD