linux/arch/arm64/boot/dts/st/Makefile

# SPDX-License-Identifier: GPL-2.0-only
dtb-$(CONFIG_ARCH_STM32) += stm32mp257f-ev1.dtb