mbed library sources

Fork of mbed-src by mbed official

Revision:
162:1fb772918dd0
Parent:
161:cb07f9f831b7
Child:
163:c15717b680e9
--- a/targets/cmsis/TARGET_STM/TARGET_NUCLEO_F401RE/system_stm32f4xx.c	Sat Apr 19 13:38:20 2014 +0000
+++ b/targets/cmsis/TARGET_STM/TARGET_NUCLEO_F401RE/system_stm32f4xx.c	Sat Apr 19 17:27:59 2014 +0000
@@ -295,6 +295,7 @@
     while(1)
     {
       // [TODO] Put something here to tell the user that a problem occured...
+      printf("System clock initialization failed");
     }
   }
  
@@ -310,6 +311,7 @@
     while(1)
     {
       // [TODO] Put something here to tell the user that a problem occured...
+      printf("System clock initialization failed");
     }
   }