Index: firmware/App/Drivers/GPIO.c
===================================================================
diff -u -r8cbddbe34a4ffed5a4d9fac07a065799c5862611 -r3a8cf075eb6f0d255f516ac26bac7fbaacfde14a
--- firmware/App/Drivers/GPIO.c	(.../GPIO.c)	(revision 8cbddbe34a4ffed5a4d9fac07a065799c5862611)
+++ firmware/App/Drivers/GPIO.c	(.../GPIO.c)	(revision 3a8cf075eb6f0d255f516ac26bac7fbaacfde14a)
@@ -17,6 +17,7 @@
 
 #include "gio.h"
 #include "mibspi.h"
+#include "reg_het.h"
 
 #include "GPIO.h"
 
@@ -49,6 +50,9 @@
 #define SAFE_GIO_PORT_PIN                   2U                          ///< GPIO pin ID on port B for safety shutdown input signal.
 #define SAFETY_GIO_PORT_PIN                 3U                          ///< GPIO pin ID on port B for safety shutdown output signal
 
+// hetPORT1 pin assignments
+#define AIR_PUMP_GPIO_PIN                   4U                          ///< GPIO pin ID on hetPORT1 for air pump motor state.
+
 // MIBSPI5 port pin assignments for pins connected to CPLD
 #define GREEN_SPI5_PORT_MASK                0x00000200                  ///< (CLK     - re-purposed as output GPIO) for green alarm lamp signal.
 #define BLUE_SPI5_PORT_MASK                 0x00000400                  ///< (SIMO[0] - re-purposed as output GPIO) for blue alarm lamp signal.
@@ -354,4 +358,18 @@
     CLR_BACKUP_AUDIO_ENABLE()
 }
 
+/*********************************************************************//**
+ * @brief
+ * The setAirPumpMotorSignal function sets the air pump output signal to
+ * the given pin level.
+ * @details \b Inputs: none
+ * @details \b Outputs: Air pump output signal set to given level.
+ * @param signal Signal level to set the air pump output to
+ * @return none
+ *************************************************************************/
+void setAirPumpMotorSignal( PIN_SIGNAL_STATE_T signal )
+{
+    gioSetBit( hetPORT1, AIR_PUMP_GPIO_PIN, (U32)signal );
+}
+
 /**@}*/