From 32eae604223e53838eae8b69593c73e5c445975b Mon Sep 17 00:00:00 2001
From: Joel Bodenmann <joel@seriouslyembedded.com>
Date: Mon, 19 Oct 2015 22:25:21 +0200
Subject: [PATCH] Compiler warnings

---
 src/gos/gos_keil.h | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/src/gos/gos_keil.h b/src/gos/gos_keil.h
index 84530d16..863986d4 100644
--- a/src/gos/gos_keil.h
+++ b/src/gos/gos_keil.h
@@ -18,9 +18,14 @@
 /*
  * Keil RTX uses the CMSIS RTOS interface. Therefore, just use the CMSIS RTOS port
  */
-#define GFX_USE_OS_KEIL FALSE		// Disable KEIL to avoid error: "GOS: More than one operation system has been defined as TRUE."
-#define GFX_USE_OS_CMSIS TRUE
 
+// Disable KEIL to avoid error: "GOS: More than one operation system has been defined as TRUE."
+#undef GFX_USE_OS_KEIL
+#define GFX_USE_OS_KEIL FALSE
+
+// Enable generic CMSIS RTOS implementation
+#undef GFX_USE_OS_CMSIS
+#define GFX_USE_OS_CMSIS TRUE
 #include "gos_cmsis.h"
 
 #endif /* GFX_USE_OS_KEIL */