Diff: targets/TARGET_Freescale/mbed_rtx.h

Revision:

150:02e0a0aed4ec

Parent:

149:156823d33999

Child:

153:fa9ff456f731

diff -r 156823d33999 -r 02e0a0aed4ec targets/TARGET_Freescale/mbed_rtx.h
--- a/targets/TARGET_Freescale/mbed_rtx.h	Fri Oct 28 11:17:30 2016 +0100
+++ b/targets/TARGET_Freescale/mbed_rtx.h	Tue Nov 08 17:45:16 2016 +0000
@@ -47,7 +47,7 @@
 #define OS_CLOCK                96000000
 #endif
 
-#elif defined(TARGET_K22F)
+#elif defined(TARGET_MCU_K22F)
 
 #ifndef INITIAL_SP
 #define INITIAL_SP              (0x20010000UL)
@@ -202,6 +202,36 @@
 #define OS_CLOCK                120000000
 #endif
 
+#elif defined(TARGET_KW24D)
+
+#ifndef INITIAL_SP
+#define INITIAL_SP              (0x20008000UL)
+#endif
+#ifndef OS_TASKCNT
+#define OS_TASKCNT              14
+#endif
+#ifndef OS_MAINSTKSIZE
+#define OS_MAINSTKSIZE          256
+#endif
+#ifndef OS_CLOCK
+#define OS_CLOCK                48000000
+#endif
+
+#elif defined(TARGET_K82F)
+
+#ifndef INITIAL_SP
+#define INITIAL_SP              (0x20030000UL)
+#endif
+#ifndef OS_TASKCNT
+#define OS_TASKCNT              14
+#endif
+#ifndef OS_MAINSTKSIZE
+#define OS_MAINSTKSIZE          256
+#endif
+#ifndef OS_CLOCK
+#define OS_CLOCK                120000000
+#endif
+
 #endif
 
 #endif  // MBED_MBED_RTX_H