Good stuff for ARM7TDMI. get_/set_register() seem to work ok.

[goodfet] / firmware / goodfet.c

diff --git a/firmware/goodfet.c b/firmware/goodfet.c
index 4d791f8..f82c5b3 100644 (file)
--- a/firmware/goodfet.c
+++ b/firmware/goodfet.c
@@ -75,6 +75,11 @@ void handle(unsigned char app,
   case AVR:
     avrhandle(app,verb,len);
     break;
+#ifdef INSTALL_PIC_APP
+  case PIC:
+    pichandle(app,verb,len);
+    break;
+#endif
   case I2CAPP:
     i2chandle(app,verb,len);
     break;