mbed library sources: Modified to operate FRDM-KL25Z at 48MHz from internal 32kHz oscillator (nothing else changed).

Fork of mbed-src by mbed official

The only file that changed is: mbed-src-FLL48/targets/cmsis/TARGET_Freescale/TARGET_KL25Z/system_MKL25Z4.h

Revision:
24:75304dd5f5fb
Parent:
23:8d50de55f208
--- a/common/retarget.cpp	Mon Sep 16 16:15:04 2013 +0100
+++ b/common/retarget.cpp	Tue Sep 17 13:30:07 2013 +0100
@@ -448,10 +448,10 @@
     unsigned char*        prev_heap = heap;
     unsigned char*        new_heap = heap + incr;
 
-#ifdef __get_MSP
+#if defined(TARGET_ARM7)
+    if (new_heap >= stack_ptr) {
+#else
     if (new_heap >= (unsigned char*)__get_MSP()) {
-#else
-    if (new_heap >= stack_ptr) {
 #endif
         errno = ENOMEM;
         return (caddr_t)-1;