From b1124c3011bd3ca9a1b77e90395534e22b0b08ce Mon Sep 17 00:00:00 2001
From: Joel Bodenmann <joel@embedded.pro>
Date: Tue, 29 Aug 2017 09:20:52 +0200
Subject: [PATCH] Adding CMSIS2 port to gos_mk.c

---
 src/gos/gos_mk.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/gos/gos_mk.c b/src/gos/gos_mk.c
index c1c566f7..62c51b68 100644
--- a/src/gos/gos_mk.c
+++ b/src/gos/gos_mk.c
@@ -15,6 +15,7 @@
 #include "gos_rawrtos.c"
 #include "gos_win32.c"
 #include "gos_cmsis.c"
+#include "gos_cmsis2.c"
 #include "gos_nios.c"
 #include "gos_x_threads.c"
 #include "gos_x_heap.c"