# SPDX-License-Identifier: GPL-2.0 dtb-$([31mCONFIG_ARCH_VEXPRESS[0m) += \ foundation-v8.dtb foundation-v8-psci.dtb \ foundation-v8-gicv3.dtb foundation-v8-gicv3-psci.dtb dtb-$([31mCONFIG_ARCH_VEXPRESS[0m) += juno.dtb juno-r1.dtb juno-r2.dtb dtb-$([31mCONFIG_ARCH_VEXPRESS[0m) += rtsm_ve-aemv8a.dtb dtb-$([31mCONFIG_ARCH_VEXPRESS[0m) += vexpress-v2f-1xv7-ca53x2.dtb dtb-$([31mCONFIG_ARCH_VEXPRESS[0m) += fvp-base-revc.dtb |