1ec8f24b7SThomas Gleixner# SPDX-License-Identifier: GPL-2.0-only
2910499e1SKrzysztof Kozlowskidtb-$(CONFIG_ARCH_INTEL_SOCFPGA) += socfpga_stratix10_socdk.dtb \
3*2b59af8cSTeh Wen Ping				socfpga_stratix10_socdk_nand.dtb \
4*2b59af8cSTeh Wen Ping				socfpga_stratix10_swvp.dtb
5