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