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