# 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 GIC_V2 select CPU_CORTEX_A72