boards/x86/acrn/Kconfig.defconfig

# 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

config HEAP_MEM_POOL_ADD_SIZE_ACPI
	default 32768
	depends on ACPI

endif