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/capi/wait_api.c	Wed Apr 24 15:11:33 2013 +0000
+++ b/capi/wait_api.c	Thu May 30 16:59:31 2013 +0100
@@ -17,7 +17,7 @@
 #include "us_ticker_api.h"
 
 void wait(float s) {
-    wait_us(s * 1000000.0);
+    wait_us(s * 1000000.0f);
 }
 
 void wait_ms(int ms) {