david dicarlo / mbed-src-FLL48

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

Diff: cpp/stdio.cpp

Revision:
7:3a1b3e92fa02
Parent:
5:ab1c572cb536
Child:
8:4e25b8576136
--- a/cpp/stdio.cpp	Mon Mar 18 10:36:46 2013 +0000
+++ b/cpp/stdio.cpp	Wed Apr 24 15:11:33 2013 +0000
@@ -46,9 +46,17 @@
 
 using namespace mbed;
 
+#if defined(__MICROLIB) && (__ARMCC_VERSION>5030000)
+// Before version 5.03, we were using a patched version of microlib with proper names
+extern const char __stdin_name[]  = ":tt";
+extern const char __stdout_name[] = ":tt";
+extern const char __stderr_name[] = ":tt";
+
+#else
 extern const char __stdin_name[]  = "/stdin";
 extern const char __stdout_name[] = "/stdout";
 extern const char __stderr_name[] = "/stderr";
+#endif
 
 /* newlib has the filehandle field in the FILE struct as a short, so
  * we can't just return a Filehandle* from _open and instead have to