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};