2 * Simple U-boot uImage source file containing a single kernel and FDT blob
8 description = "Kernel for MicroZed";
13 description = "Linux kernel";
14 data = /incbin/("./images/linux/zImage");
29 description = "Flattened Device Tree blob";
30 data = /incbin/("./images/linux/system.dtb");
42 description = "FPGA bitstream";
43 data = /incbin/("./images/linux/system.bit.gz");
58 description = "Boot Linux kernel with FDT blob";