mbed-dev - mbed library sources. Supersedes mbed-src.

Users » mbed_official » Code » mbed-dev

mbed library sources. Supersedes mbed-src.

Dependents: Nucleo_Hello_Encoder BLE_iBeaconScan AM1805_DEMO DISCO-F429ZI_ExportTemplate1 ... more

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