| # Copyright (c) 2020 EPAM Systems | |
| # SPDX-License-Identifier: Apache-2.0 | |
| if BOARD_XENVM | |
| config BUILD_OUTPUT_BIN | |
| default y | |
| config XEN_INITIAL_DOMAIN | |
| bool "Zephyr as Xen Domain 0" | |
| default n | |
| help | |
| Built binary will be used as Xen privileged domain. | |
| config BOARD | |
| default "xenvm" | |
| endif # BOARD_XENVM |