Hello,
I've been going through the MiniZed tutorial, and I'm getting caught on step 02 - the Hello World application. The SDK can't seem to program the Zynq, although I'm able to connect to it via TTL USB (when the boot switch in the F position) and have set the switch to J (JTAG) boot before plugging it in.
My OS is Ubuntu 16.04.3 LTS, and the SDK is version 17.1.
Below is a screenshot of the issue: https://i.imgur.com/fGSzrGu.png