--- /dev/null
+++ b/arch/arm/mach-gemini/board-wbd111.c
-@@ -0,0 +1,123 @@
+@@ -0,0 +1,125 @@
+/*
+ * Support for Wiliboard WBD-111
+ *
+#include <linux/platform_device.h>
+#include <linux/leds.h>
+#include <linux/input.h>
++#include <linux/skbuff.h>
+#include <linux/gpio_keys.h>
+#include <linux/mdio-gpio.h>
+#include <asm/mach-types.h>
+{
+ gemini_gpio_init();
+ platform_register_uart();
++ platform_register_watchdog();
+ platform_register_pflash(SZ_8M, NULL, 0);
+ platform_device_register(&wbd111_leds_device);
+ platform_device_register(&wbd111_keys_device);