> btw what's the motivation for this series, are you hitting some issues > with the WDT on SoCFPGA ? This watchdog appears on the Kendryte K210 CPU, which I am adding support for. The rest of the board uses devicetree to configure drivers, so I wanted to add support for this watchdog as well.