1# SPDX-License-Identifier: MIT
2#
3# ARM64
4#
5CONFIG_ARM64=y
6CONFIG_64BIT=y
7CONFIG_ARCH_VEXPRESS=y
8
9#
10# Bus support
11#
12CONFIG_ARM_AMBA=y
13
14#
15# Bus devices
16#
17CONFIG_VEXPRESS_CONFIG=y
18