I'm debugging WDOG circuit coming from the EVK for IMX6ULL.
I tried to read the register WDOG1_WCR but with bus error
/unit_tests# ./memtoool 0x20bc000 1
Reading 0x1 count starting at adUnhandled fault: external abort on non-linefetch (0x1008) at 00
pgd = 88718000
[76f63000] *pgd=88c4f835, *pte=020bc703, *ppte=020bce33
Do you have an examples about how WDOG works?