1# Copyright 2020 EPAM Systems
2# SPDX-License-Identifier: Apache-2.0
3
4config SOC_XENVM
5	bool "Xen virtual machine on aarch64"
6	select ARM64
7	select ARM_ARCH_TIMER if SYS_CLOCK_EXISTS
8	select CPU_CORTEX_A72
9