linux/arch/arm/boot/dts/xen/Makefile

# SPDX-License-Identifier: GPL-2.0
dtb-$(CONFIG_ARCH_VIRT) += \
	xenvm-4.2.dtb