# 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 3086 if X86_MMU
endif # BOARD_MINNOWBOARD