PYNQ: PYTHON PRODUCTIVITY

Build for custom board fails

Using the vagrant flow with the pynq repo cloned to workspace and on the master branch.

make BOARDDIR=/workspace/PYNQ/qvil/boards BOARDS=RedPitaya PREBUILT=/workspace/PYNQ/prebuilt/bionic.arm.2.5.img nocheck_images

...
[INFO] successfully built kernel-devsrc
cp -f /workspace/PYNQ/sdbuild/build/RedPitaya/petalinux_project/build/tmp/deploy/rpm/*/kernel-devsrc-1.0-r0.*.rpm /workspace/PYNQ/sdbuild/build/RedPitaya/petalinux_project/build/tmp/deploy/rpm/kernel-devsrc-1.0-r0.plnx_arm.rpm
cp --sparse=always /workspace/PYNQ/prebuilt/bionic.arm.2.5.img /workspace/PYNQ/sdbuild/output/RedPitaya-2.5.img
/workspace/PYNQ/sdbuild/scripts/mount_image.sh /workspace/PYNQ/sdbuild/output/RedPitaya-2.5.img /workspace/PYNQ/sdbuild/build/bionic.RedPitaya
device-mapper: resume ioctl on loop0p2  failed: Invalid argument
create/reload failed on loop0p2
loop0p1
...

followed by some cascading errors because of the failed mount.

Any advice or pointers in the right direction appreciated.

Turned out that my download of bionic.arm.2.5.img had an issue.