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:
8:4e25b8576136
Parent:
7:3a1b3e92fa02
--- a/cpp/stdio.cpp	Wed Apr 24 15:11:33 2013 +0000
+++ b/cpp/stdio.cpp	Thu May 30 16:59:31 2013 +0100
@@ -128,7 +128,7 @@
     } else if (std::strcmp(name, __stdout_name) == 0) {
         init_serial();
         return 1;
-    } else if (std::strcmp(name,__stderr_name) == 0) {
+    } else if (std::strcmp(name, __stderr_name) == 0) {
         init_serial();
         return 2;
     }