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:
27:3315632cc01d
Parent:
20:4263a77256ae
--- a/targets/hal/TARGET_NXP/TARGET_LPC11CXX/sleep.c	Thu Sep 19 09:45:05 2013 +0100
+++ b/targets/hal/TARGET_NXP/TARGET_LPC11CXX/sleep.c	Thu Sep 19 10:00:04 2013 +0100
@@ -18,8 +18,10 @@
 #include "mbed_interface.h"
 
 void sleep(void) {
+#if DEVICE_SEMIHOST
     // ensure debug is disconnected
     mbed_interface_disconnect();
+#endif
     
     // PCON[DPDEN] set to sleep
     LPC_PMU->PCON = 0x0;
@@ -58,8 +60,10 @@
 */
 
 void deepsleep(void) {
+#if DEVICE_SEMIHOST
     // ensure debug is disconnected
     mbed_interface_disconnect();
+#endif
     
     // PCON[DPDEN] set to deepsleep
     LPC_PMU->PCON = 0x2;