This is consistent with all other TX modules.
void hw_watchdog_reset(void)
{
if (readw(wdog_base + WDOG_WCR) & WCR_WDE) {
- static u16 toggle = 0xaaaa;
- static int first = 1;
+ static u16 __data toggle = 0xaaaa;
+ static int __data first = 1;
if (first) {
printf("Watchdog active\n");
#define CONFIG_FDTADDR 10001000
#define CONFIG_SYS_LOAD_ADDR _pfx(0x, CONFIG_LOADADDR)
#define CONFIG_SYS_FDT_ADDR _pfx(0x, CONFIG_FDTADDR)
-#define CONFIG_IMX_WATCHDOG
-#define CONFIG_WATCHDOG_TIMEOUT_MSECS 3000
+#define CONFIG_HW_WATCHDOG
#ifndef CONFIG_SYS_LVDS_IF
#define DEFAULT_VIDEO_MODE "VGA"
#else