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:
19:398f4c622e1b
Parent:
13:0645d8841f51
--- a/common/pinmap_common.c	Mon Aug 12 13:49:01 2013 +0300
+++ b/common/pinmap_common.c	Mon Aug 19 18:17:02 2013 +0300
@@ -45,7 +45,7 @@
 }
 
 uint32_t pinmap_peripheral(PinName pin, const PinMap* map) {
-    if (pin == (uint32_t)NC)
+    if (pin == (PinName)NC)
         return (uint32_t)NC;
 
     while (map->pin != NC) {