1 # SPDX-License-Identifier: GPL-2.0 2 dtb-$(CONFIG_ARCH_VEXPRESS) += \ 3 foundation-v8.dtb foundation-v8-psci.dtb \ 4 foundation-v8-gicv3.dtb foundation-v8-gicv3-psci.dtb 5 dtb-$(CONFIG_ARCH_VEXPRESS) += juno.dtb juno-r1.dtb juno-r2.dtb juno-scmi.dtb juno-r1-scmi.dtb juno-r2-scmi.dtb 6 dtb-$(CONFIG_ARCH_VEXPRESS) += rtsm_ve-aemv8a.dtb 7 dtb-$(CONFIG_ARCH_VEXPRESS) += vexpress-v2f-1xv7-ca53x2.dtb 8 dtb-$(CONFIG_ARCH_VEXPRESS) += fvp-base-revc.dtb 9 dtb-$(CONFIG_ARCH_VEXPRESS) += corstone1000-fvp.dtb corstone1000-mps3.dtb
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.