# Target configuration
mk_arch="armv6"
mk_kernel="ZEDBOARD"
mk_ubldraddr="0x80000"
# Local file system values
mk_insdir="$(pwd)/zedroot"
img_ubootdir="$(pwd)/../zed/uboot/u-boot"
img_uboot="${img_ubootdir}/u-boot.img"
img_bootbin="${img_ubootdir}/spl/boot.bin"
img_dtb="${img_ubootdir}/arch/arm/dts/zynq-microzed.dtb"
# Size of the image
img_devsize="bs=1m count=1024"