Enabling watchdog reset on PYNQ-Z2

PYNQ-Z2 features a hardware watchdog, which can be seen by executing wdctl. Unfortunately the internal reset do not seem to be enabled on the kernel:

[3813653.241660] watchdog: watchdog0: watchdog did not stop!
[3813658.511259] cdns-wdt f8005000.watchdog: Watchdog timed out. Internal reset not enabled

Xilinx Wiki - Cadence WDT page states that I can activate it in the device tree.

Where can I find the device tree for PYNQ-Z2?

Hi @leuko,

The system-user device tree used to generate the pynq image is in the GitHub repository