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

Files at this revision

API Documentation at this revision

Revision 8:4e25b8576136, committed 2013-05-30

Comitter:
emilmont
Date:
Thu May 30 16:59:31 2013 +0100
Parent:
7:3a1b3e92fa02
Child:
9:0ce32e54c9a7
Commit message:
cleanup

Changed in this revision

capi/exit.c Show annotated file Show diff for this revision Revisions of this file
capi/wait_api.c Show annotated file Show diff for this revision Revisions of this file
cpp/Timer.cpp Show annotated file Show diff for this revision Revisions of this file
cpp/stdio.cpp Show annotated file Show diff for this revision Revisions of this file 
--- a/capi/exit.c	Wed Apr 24 15:11:33 2013 +0000
+++ b/capi/exit.c	Thu May 30 16:59:31 2013 +0100
@@ -16,7 +16,13 @@
 #include "semihost_api.h"
 #include "mbed_interface.h"
 
+#ifdef TOOLCHAIN_GCC_CW
+// TODO: Ideally, we would like to define directly "_ExitProcess"
+void mbed_exit(int return_code) {
+#else
 void exit(int return_code) {
+#endif
+
 #if DEVICE_SEMIHOST
     if (mbed_interface_connected()) {
         semihost_exit();

--- 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) {

--- a/cpp/Timer.cpp	Wed Apr 24 15:11:33 2013 +0000
+++ b/cpp/Timer.cpp	Thu May 30 16:59:31 2013 +0100
@@ -37,7 +37,7 @@
 }
 
 float Timer::read() {
-    return (float)read_us() / 1000000.0;
+    return (float)read_us() / 1000000.0f;
 }
 
 int Timer::read_ms() {

--- a/cpp/stdio.cpp	Wed Apr 24 15:11:33 2013 +0000
+++ b/cpp/stdio.cpp	Thu May 30 16:59:31 2013 +0100
@@ -128,7 +128,7 @@
     } else if (std::strcmp(name, __stdout_name) == 0) {
         init_serial();
         return 1;
-    } else if (std::strcmp(name,__stderr_name) == 0) {
+    } else if (std::strcmp(name, __stderr_name) == 0) {
         init_serial();
         return 2;
     }