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:
2:143cac498751
--- a/cpp/Timer.cpp	Wed Apr 24 15:11:33 2013 +0000
+++ b/cpp/Timer.cpp	Thu May 30 16:59:31 2013 +0100
@@ -37,7 +37,7 @@
 }
 
 float Timer::read() {
-    return (float)read_us() / 1000000.0;
+    return (float)read_us() / 1000000.0f;
 }
 
 int Timer::read_ms() {