Pynq_z1_v3.0.1.img corrupted in zip file?

Support
1

I have downloaded the zip file twice and verified that the boot.scr file in the first partition of the image file has what looks to be garbage in the first 32 bytes (or some kind of header information?). When trying to boot up my board with the image which was written to the sd card I get the following:

> 
> boot
> switch to partitions #0, OK
> mmc0 is current device
> Scanning mmc 0:1...
> Found U-Boot script /boot.scr
> 2776 bytes read in 9 ms (300.8 KiB/s)
> ## Executing script at 03000000
> Trying to load boot images from mmc0
> 6464304 bytes read in 366 ms (16.8 MiB/s)
> ## Loading kernel from FIT Image at 10000000 ...
>    Using 'conf-1' configuration
>    Verifying Hash Integrity ... OK
>    Trying 'kernel-0' kernel subimage
>      Description:  Linux Kernel
>      Type:         Kernel Image
>      Compression:  uncompressed
>      Data Start:   0x100000d4
>      Data Size:    6442720 Bytes = 6.1 MiB
>      Architecture: ARM
>      OS:           Linux
>      Load Address: 0x00080000
>      Entry Point:  0x00080000
>      Hash algo:    sha1
>      Hash value:   b056acb229d05b806f975396dacae4ad04002e0c
>    Verifying Hash Integrity ... sha1 error!
> Bad hash value for 'hash-1' hash node in 'kernel-0' image node
> Bad Data Hash
> ERROR: can't get kernel image!
> Wrong Image Format for bootm command
> ERROR: can't get kernel image!

It repeats this same message many more times as it attempts to find the boot image in different places (errors while trying to access the SPI flash sub-system are different from the above).
The size reported ( 6464304 bytes ) matches the size of the image.ub file I see in the PYNQ partition of the pynq_z1_3.0.1.img file, but the sha1 mismatch indicates there might be a problem with this file as well.

I’m using a Digilent Arty Z7-20 board not Digilent’s Pynq board, but they appear to be the same except the Z7-20 doesn’t have the microphone input. I don’t think the boot process gets far enough for that to be a problem yet.

Anybody else see the same problem? Is there a repository containing past versions of the Zynq sd image I can try? If not, can anyone make a guess as to what I’m doing wrong?

Thanks,
Todd