| # 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 |