Index: firmware/source/sys_main.c
===================================================================
diff -u -raa6d45143096dfab776ce2ed7c775cfe2dd6db18 -r794a0f21a465227d432a91d7b7fd7d513cfe3ecb
--- firmware/source/sys_main.c	(.../sys_main.c)	(revision aa6d45143096dfab776ce2ed7c775cfe2dd6db18)
+++ firmware/source/sys_main.c	(.../sys_main.c)	(revision 794a0f21a465227d432a91d7b7fd7d513cfe3ecb)
@@ -57,7 +57,6 @@
 #include "i2c.h"
 #include "etpwm.h"
 #include "gio.h"
-#include "het.h"
 #include "mibspi.h"
 #include "sci.h"
 #include "rti.h"
@@ -142,7 +141,6 @@
 static void initProcessor( void )
 {
     gioInit();      // Configure GPIO pins
-    hetInit();      // Configure HET1
     adcInit();      // Configure internal ADC channels
     mibspiInit();   // Re-purposing MIBSPI5 I/O/C pins as GPIO
     etpwmInit();    // Configure PWMs