played around with different inputs to change the temperature display
[goodfet] / firmware / goodfet.c
index 5dad768..08ec8f5 100644 (file)
@@ -108,9 +108,13 @@ int main(void){
 #if (platform == donbfet)
   extern void donbfet_reboot(void);
   void (*reboot_function)(void) = donbfet_reboot;
+#elif (platform == zigduino)
+  extern void zigduino_reboot(void);
+  void (*reboot_function)(void) = zigduino_reboot;
 #else
   void (*reboot_function)(void) = (void *) 0xFFFE;
 #endif
+  
   init();
   
   txstring(MONITOR,OK,"http://goodfet.sf.net/");