I'm trying to reset my custom iMX6DL board running Linux 3.10.53.
Performing a 'reboot -f' fails.
Looking at the code, I think the value written to WDOG Control Register is incorrect.
The value written is 0x14, but it should be 0x04 --- shouldn't it?
(arch/arm/mach-imx/system.c function mxc_restart)
In any case-- performing a simple "devmem2 0x20bc000 h 0x0004" resets the device successfully.