# SPDX-License-Identifier: GPL-2.0
subdir-y += fsl
dtstree := $(srctree)/$(src)
dtb-$([31mCONFIG_OF_ALL_DTBS[0m) := $(patsubst $(dtstree)/%.dts,%.dtb, $(wildcard $(dtstree)/*.dts))
dtb-$([31mCONFIG_XILINX_VIRTEX440_GENERIC_BOARD[0m) += virtex440-ml507.dtb virtex440-ml510.dtb