# SPDX-License-Identifier: MIT
#
# ARM64
#
CONFIG_ARM64=y
CONFIG_64BIT=y
CONFIG_ARCH_VEXPRESS=y

#
# Bus support
#
CONFIG_ARM_AMBA=y

#
# Bus devices
#
CONFIG_VEXPRESS_CONFIG=y