zephyr/soc/arm64/xenvm/Kconfig.soc

15 lines
326 B
Plaintext

# Copyright 2020 EPAM Systems
# SPDX-License-Identifier: Apache-2.0
config SOC_XENVM
bool "Xen virtual machine on aarch64"
select ARM64
select ARM_ARCH_TIMER
select CPU_CORTEX_A72
config XEN_INITIAL_DOMAIN
bool "Zephyr as Xen Domain 0"
depends on SOC_XENVM
help
Built binary will be used as Xen privileged domain.