boards/x86/minnowboard/Kconfig.defconfig

# 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