boards/x86/acrn/Kconfig.defconfig - third_party/github/zephyrproject-rtos/zephyr - Git at Google

 # Copyright (c) 2021 Intel Corporation
 # SPDX-License-Identifier: Apache-2.0

 if BOARD_ACRN

 config BOARD
 	default "acrn"
 	depends on BOARD_ACRN

 config MP_MAX_NUM_CPUS
 	default 2

 endif
	# Copyright (c) 2021 Intel Corporation
	# SPDX-License-Identifier: Apache-2.0

	if BOARD_ACRN

	config BOARD
	default "acrn"
	depends on BOARD_ACRN

	config MP_MAX_NUM_CPUS
	default 2

	endif