Index: firmware/source/sys_main.c
===================================================================
diff -u -r1c2f96bf994157b11c0c32ddaf96fc91a9a1da1d -r8fc97ad09c8cbdf76dc19929c4751df3feacb40d
--- firmware/source/sys_main.c	(.../sys_main.c)	(revision 1c2f96bf994157b11c0c32ddaf96fc91a9a1da1d)
+++ firmware/source/sys_main.c	(.../sys_main.c)	(revision 8fc97ad09c8cbdf76dc19929c4751df3feacb40d)
@@ -92,6 +92,7 @@
 #include "TemperatureSensors.h"
 #include "Thermistors.h"
 #include "Timers.h"
+#include "Utilities.h"
 #include "UVReactors.h"
 #include "Valves.h"
 #include "Voltages.h"
@@ -170,6 +171,7 @@
  *************************************************************************/
 static void initSoftware( void )
 {
+    initSemaphores();
     initTimers();
     initSafetyShutdown();
     initCPLD();