Diff: targets/TARGET_STM/mbed_rtx.h

Revision:

153:fa9ff456f731

Parent:

149:156823d33999

Child:

162:e13f6fdb2ac4

diff -r 9a67f0b066fc -r fa9ff456f731 targets/TARGET_STM/mbed_rtx.h
--- a/targets/TARGET_STM/mbed_rtx.h	Thu Dec 15 11:48:27 2016 +0000
+++ b/targets/TARGET_STM/mbed_rtx.h	Tue Dec 20 17:27:56 2016 +0000
@@ -392,6 +392,21 @@
 #define OS_CLOCK                100000000
 #endif
 
+#elif defined(TARGET_STM32F412ZG)
+
+#ifndef INITIAL_SP
+#define INITIAL_SP              (0x20040000UL)
+#endif
+#ifndef OS_TASKCNT
+#define OS_TASKCNT              14
+#endif
+#ifndef OS_MAINSTKSIZE
+#define OS_MAINSTKSIZE          256
+#endif
+#ifndef OS_CLOCK
+#define OS_CLOCK                100000000
+#endif
+
 #elif defined(TARGET_STM32F446RE)
 
 #ifndef INITIAL_SP
@@ -584,7 +599,7 @@
 #define OS_MAINSTKSIZE          256
 #endif
 #ifndef OS_CLOCK
-#define OS_CLOCK                24000000
+#define OS_CLOCK                32000000
 #endif
 
 #elif defined(TARGET_NZ32_SC151)