--- a/gsm-fw/bsp/armio.c	Tue May 03 19:51:41 2016 +0000
+++ b/gsm-fw/bsp/armio.c	Tue May 03 23:46:54 2016 +0000
@@ -224,6 +224,48 @@
 }
 #endif
 
+#ifdef CONFIG_TARGET_FCDEV3B
+/* version for the to-be-built FCDEV3B board */
+void AI_InitIOConfig(void)
+{
+  // reset the IOs config
+  AI_ResetIoConfig();
+
+  AI_EnableBit(0);
+  AI_DisableBit(1);
+  AI_EnableBit(2);
+  AI_EnableBit(4);
+
+  /*
+   * The MCSI pins are brought out to a header with the intent of
+   * facilitating experimentation with this interface, so let's put them
+   * into the MCSI configuration.
+   */
+  AI_DisableBit(5);
+  AI_DisableBit(6);
+  AI_DisableBit(7);
+  AI_DisableBit(8);
+
+  AI_EnableBit(9);
+
+  // ARMIO_OUT register configuration: same as TI's code sets
+  // the loudspeaker PA is disabled on boot for the time being
+  *((volatile SYS_UWORD16 *) ARMIO_OUT) = 0x3F00;
+
+  // ARMIO_CNTL_REG register configuration:
+  // most of the pins are no-connects, make them outputs
+
+  AI_ConfigBitAsOutput(0);
+  AI_ConfigBitAsOutput(1);
+  AI_ConfigBitAsOutput(2);
+  AI_ConfigBitAsOutput(4);
+  AI_ConfigBitAsOutput(6);
+  AI_ConfigBitAsOutput(8);
+  AI_ConfigBitAsOutput(9);
+  AI_ConfigBitAsOutput(13);
+}
+#endif
+
 #ifdef CONFIG_TARGET_PIRELLI
 /* version for Pirelli DP-L10 */
 void AI_InitIOConfig(void)