I have one sd card where pynq runs the demonstration program analog_echo correctly. I sent another one to CIT and Jeff reports that it does not work. I made a seoncd SD card using the pynq image from here: https://github.com/dspsandbox/Pynq-Redpitaya-125 and it does NOT work.
I checked the checksums of the files on the two pynq distributions and found no difference.
I then made an image of the working sd card. It fails in the same way. This call in analog_echo.ipys
ol.axi_gpio_0.channel1.write(val=offset_1, mask=0xffff)
crashes the os
Now swap the SD cards between the two RedPitayas. The "good" card boots as ip address 192.168.68.113 but fails.
The "cloned" card boots as ip address 192.168.68.111 and it works.
Therefore, I conclude that RedPitaya 00:26:F0:B9:F8 is a good board and 00:26:32:F0:AC:E6 is broken.
Swapping the cards back confirms this. So, I have two good sd cards but only one good RedPitaya board. I suspect that the RedPitaya I sent to CIT is also a bad board.