I'm testing QSPI boot mode using the built-in ZedBoard QSPI Flash contents (which simply turns on every other LED as described in Appendix II of the Getting Started Guide).
I noticed that after the initial power-on boot-up succeeds at displaying the LED pattern, if you then press the PS-RST button the pattern does not redisplay as expected. Instead the UART outputs the text "WDT reset happened, falling back...". There is no UART output for the intial power on.
Is this failure to respond correctly to a PS-RST a problem relating to the chip itself, the Xilinx base software, or something particular to this demo?