all: image.ub

microzed.dtb: microzed.dts linux/source/arch/arm/boot/dts/zynq-7000.dtsi
	dtc -I dts -O dtb -o $@ $<

image.ub: uboot-image.its linux/arch/arm/boot/zImage microzed.dtb ../buildroot/images/rootfs.cpio ../../fs-overlay/fpga.bit
	mkimage -f uboot-image.its image.ub

linux/arch/arm/boot/zImage linux/source/arch/arm/boot/dts/zynq-7000.dtsi:
	$(MAKE) -C linux

# Create empty file if no FPGA bitstream is provided
../../fs-overlay/fpga.bit:
	mkdir -p $(@D)
	touch $@