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:
20:4263a77256ae
Parent:
13:0645d8841f51
--- a/targets/hal/TARGET_NXP/TARGET_LPC13XX/serial_api.c	Mon Aug 19 18:17:02 2013 +0300
+++ b/targets/hal/TARGET_NXP/TARGET_LPC13XX/serial_api.c	Tue Sep 10 15:14:19 2013 +0300
@@ -247,11 +247,6 @@
 void serial_putc(serial_t *obj, int c) {
     while (!serial_writable(obj));
     obj->uart->THR = c;
-    
-    uint32_t lsr = obj->uart->LSR;
-    lsr = lsr;
-    uint32_t thr = obj->uart->THR;
-    thr = thr;
 }
 
 int serial_readable(serial_t *obj) {