We would like to detect at boot if the CPU watchdog kicked (/dev/watchdog0). According to this
a kernel message should appear when this happens.
[ 4.447307] tegra_wdt tegra_wdt: last reset due to watchdog timeout
When the watchdog kicked, this message is not shown unfortunately. The article also states there is a Toradex custom driver used. Where is this driver implemented, so I can very we do have this present. Or is there another way to find out if the watchdog triggered the reset?