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:
157:ff67d9f36b67
Parent:
150:02e0a0aed4ec
Child:
167:e84263d55307
--- a/targets/TARGET_Maxim/mbed_rtx.h	Mon Jan 16 15:03:32 2017 +0000
+++ b/targets/TARGET_Maxim/mbed_rtx.h	Thu Feb 02 17:01:33 2017 +0000
@@ -77,6 +77,21 @@
 #define OS_CLOCK                96000000
 #endif
 
+#elif defined(TARGET_MAX32630)
+
+#ifndef INITIAL_SP
+#define INITIAL_SP              (0x20080000UL)
+#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