mbed library sources. Supersedes mbed-src. Fixed broken STM32F1xx RTC on rtc_api.c

Dependents:   Nucleo_F103RB_RTC_battery_bkup_pwr_off_okay

Fork of mbed-dev by mbed official

Revision:
150:02e0a0aed4ec
Parent:
149:156823d33999
Child:
157:ff67d9f36b67
diff -r 156823d33999 -r 02e0a0aed4ec targets/TARGET_Maxim/mbed_rtx.h
--- a/targets/TARGET_Maxim/mbed_rtx.h	Fri Oct 28 11:17:30 2016 +0100
+++ b/targets/TARGET_Maxim/mbed_rtx.h	Tue Nov 08 17:45:16 2016 +0000
@@ -62,6 +62,21 @@
 #define OS_CLOCK                48000000
 #endif
 
+#elif defined(TARGET_MAX32625)
+
+#ifndef INITIAL_SP
+#define INITIAL_SP              (0x20028000UL)
+#endif
+#ifndef OS_TASKCNT
+#define OS_TASKCNT              14
+#endif
+#ifndef OS_MAINSTKSIZE
+#define OS_MAINSTKSIZE          256
+#endif
+#ifndef OS_CLOCK
+#define OS_CLOCK                96000000
+#endif
+
 #endif
 
 #endif  // MBED_MBED_RTX_H