1# Copyright (c) 2020 EPAM Systems
2# SPDX-License-Identifier: Apache-2.0
3
4if BOARD_XENVM
5
6config BUILD_OUTPUT_BIN
7	default y
8
9config HEAP_MEM_POOL_SIZE
10	default 16384 if BOARD_XENVM_XENVM
11
12endif # BOARD_XENVM
13