1 files changed, 5 insertions, 0 deletions

diff --git a/firmware/target/arm/imx31/gigabeat-s/system-target.h b/firmware/target/arm/imx31/gigabeat-s/system-target.h
index 31f1342c9e..fbf7b23f3b 100644
--- a/firmware/target/arm/imx31/gigabeat-s/system-target.h
+++ b/firmware/target/arm/imx31/gigabeat-s/system-target.h
@@ -39,6 +39,11 @@ static inline void udelay(unsigned int usecs)
 }
 #endif
 
+/* Service the watchdog timer - serviced from the power thread every minute */
+void watchdog_init(unsigned int half_seconds);
+void watchdog_service(void);
+
+/* Prepare for transition to firmware */
 void system_prepare_fw_start(void);
 void tick_stop(void);
 void kernel_device_init(void);