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