|
@@ -28,9 +28,17 @@
|
|
|
#include <netdev.h>
|
|
|
#include <asm/arch/clock.h>
|
|
|
#include <asm/arch/imx-regs.h>
|
|
|
+#include <watchdog.h>
|
|
|
|
|
|
DECLARE_GLOBAL_DATA_PTR;
|
|
|
|
|
|
+#ifdef CONFIG_HW_WATCHDOG
|
|
|
+void hw_watchdog_reset(void)
|
|
|
+{
|
|
|
+ mxc_hw_watchdog_reset();
|
|
|
+}
|
|
|
+#endif
|
|
|
+
|
|
|
int dram_init(void)
|
|
|
{
|
|
|
/* dram_init must store complete ramsize in gd->ram_size */
|
|
@@ -68,6 +76,14 @@ int board_init(void)
|
|
|
return 0;
|
|
|
}
|
|
|
|
|
|
+int board_late_init(void)
|
|
|
+{
|
|
|
+#ifdef CONFIG_HW_WATCHDOG
|
|
|
+ mxc_hw_watchdog_enable();
|
|
|
+#endif
|
|
|
+ return 0;
|
|
|
+}
|
|
|
+
|
|
|
int checkboard(void)
|
|
|
{
|
|
|
printf("Board: MX31PDK\n");
|