Updates to WiFi shield firmware.

Author: mlafauci

hardware/arduino/firmwares/wifishield/wifiHD/src/SOFTWARE_FRAMEWORK/BOARDS/ARDUINO/arduino.h

@@ -93,6 +93,7 @@
 #define LED1_GPIO   AVR32_PIN_PB20
 #define LED2_GPIO   AVR32_PIN_PB21
 #define DEB_PIN_GPIO AVR32_PIN_PA20
+#define DEB2_PIN_GPIO AVR32_PIN_PB00
 //! @}
 
 /*! \name PWM Channels of LEDs

hardware/arduino/firmwares/wifishield/wifiHD/src/SOFTWARE_FRAMEWORK/SERVICES/LWIP/lwip-1.3.2/src/include/lwip/opt.h

@@ -1226,7 +1226,7 @@
  * in seconds. (does not require sockets.c, and will affect tcp.c)
  */
 #ifndef LWIP_TCP_KEEPALIVE
-#define LWIP_TCP_KEEPALIVE              0
+#define LWIP_TCP_KEEPALIVE              1
 #endif
 
 /**

hardware/arduino/firmwares/wifishield/wifiHD/src/SOFTWARE_FRAMEWORK/UTILS/DEBUG/debug.c

@@ -46,6 +46,7 @@
 
 #include "compiler.h"
 #include "debug.h"
+#include "util.h"
 
 
 #if (defined __GNUC__)
@@ -117,3 +118,16 @@ void uc3_round_trace(U32 val)
 
   //Enable_global_interrupt();
 }
+
+void dump(char* _buf, uint16_t _count) {
+
+	int i;
+	for (i = 0; i < _count; ++i)
+	{
+		printk("0x%x ", _buf[i]);
+		if ((i!=0)&&(i % 10 == 0))
+			printk("\n\t");
+	}
+	printk("\n");
+}
+