Ben Katz / mbed-dev-f303

mbed library sources. Supersedes mbed-src.

Dependents:   Hobbyking_Cheetah_Compact Hobbyking_Cheetah_Compact_DRV8323_14bit Hobbyking_Cheetah_Compact_DRV8323_V51_201907 HKC_MiniCheetah ... more

Fork of mbed-dev by mbed official

Diff: targets/TARGET_Silicon_Labs/mbed_rtx.h

Revision:
161:2cc1468da177
Parent:
153:fa9ff456f731
Child:
167:e84263d55307
diff -r d5399cc887bb -r 2cc1468da177 targets/TARGET_Silicon_Labs/mbed_rtx.h
--- a/targets/TARGET_Silicon_Labs/mbed_rtx.h	Tue Mar 14 16:40:56 2017 +0000
+++ b/targets/TARGET_Silicon_Labs/mbed_rtx.h	Thu Mar 30 13:45:57 2017 +0100
@@ -115,6 +115,19 @@
 #define OS_MAINSTKSIZE          256
 #endif
 
+#elif defined(TARGET_EFR32MG12) || defined(TARGET_EFM32PG12)
+
+#ifndef INITIAL_SP
+#define INITIAL_SP              (0x20040000UL)
+#endif
+
+#ifndef OS_TASKCNT
+#define OS_TASKCNT              14
+#endif
+#ifndef OS_MAINSTKSIZE
+#define OS_MAINSTKSIZE          256
+#endif
+
 #endif
 
 #endif  // MBED_MBED_RTX_H