linux.inc: add device tree for xilinx ml507

Signed-off-by: Adrian Alonso <aalonso00@gmail.com>
Signed-off-by: Stefan Schmidt <stefan@datenfreihafen.org>

diff --git a/recipes/linux/linux.inc b/recipes/linux/linux.inc
index 8f9b323..b0f78de 100644 (file)
--- a/recipes/linux/linux.inc
+++ b/recipes/linux/linux.inc
@@ -39,6 +39,7 @@ KERNEL_DEVICETREE_mpc8315e-rdb = "arch/${ARCH}/boot/dts/mpc8315erdb.dts"
 KERNEL_DEVICETREE_mpc8323e-rdb = "arch/${ARCH}/boot/dts/mpc832x_rdb.dts"
 KERNEL_DEVICETREE_sequoia = "arch/${ARCH}/boot/dts/sequoia.dts"
 KERNEL_DEVICETREE_p2020ds = "arch/${ARCH}/boot/dts/p2020ds.dts"
+KERNEL_DEVICETREE_xilinx-ml507 = "arch/${ARCH}/boot/dts/virtex440-ml507.dts"
 
 KERNEL_DEVICETREE_FLAGS = "-R 8 -S 0x3000"