Diff: TARGET_K64F/TARGET_Freescale/mbed_rtx.h

Revision:

129:0ab6a29f35bf

Parent:

128:9bcdf88f62b0

Child:

132:9baf128c2fab

diff -r 9bcdf88f62b0 -r 0ab6a29f35bf TARGET_K64F/TARGET_Freescale/mbed_rtx.h
--- a/TARGET_K64F/TARGET_Freescale/mbed_rtx.h	Thu Oct 27 16:45:56 2016 +0100
+++ b/TARGET_K64F/TARGET_Freescale/mbed_rtx.h	Tue Nov 08 17:28:34 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)
@@ -217,6 +217,21 @@
 #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