board-xilfpga.its.S (379B)
1/ { 2 images { 3 fdt-xilfpga { 4 description = "MIPSfpga (xilfpga) Device Tree"; 5 data = /incbin/("boot/dts/xilfpga/nexys4ddr.dtb"); 6 type = "flat_dt"; 7 arch = "mips"; 8 compression = "none"; 9 hash { 10 algo = "sha1"; 11 }; 12 }; 13 }; 14 15 configurations { 16 conf-xilfpga { 17 description = "MIPSfpga Linux kernel"; 18 kernel = "kernel"; 19 fdt = "fdt-xilfpga"; 20 }; 21 }; 22};