/ {
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";
};
};
};