# 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_SIZE
	default 32768 if ACPI
	depends on KERNEL_MEM_POOL

endif