# SPDX-License-Identifier: Apache-2.0

if BOARD_UP_SQUARED

config BOARD
	default "up_squared"

config BUILD_OUTPUT_STRIPPED
	default y

config MP_NUM_CPUS
	default 2

config X86_MMU_PAGE_POOL_PAGES
	default 3072 if X86_MMU

endif # BOARD_UP_SQUARED


if BOARD_UP_SQUARED_32

config BOARD
	default "up_squared_32"

config BUILD_OUTPUT_STRIPPED
	default y

config X86_MMU_PAGE_POOL_PAGES
	default 3072 if X86_MMU

endif # BOARD_UP_SQUARED_32