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