blob: 966c5fc6ba0fcb229c94e751d846c34d968eae6b [file] [log] [blame]
# Copyright 2020 EPAM Systems
# SPDX-License-Identifier: Apache-2.0
config SOC_XENVM
select ARM64
select ARM_ARCH_TIMER if SYS_CLOCK_EXISTS
select CPU_CORTEX_A72