mbed library sources. Supersedes mbed-src.

Fork of mbed-dev by mbed official

Revision:
151:02e0a0aed4ec
Parent:
149:156823d33999
diff -r 156823d33999 -r 02e0a0aed4ec targets/TARGET_STM/TARGET_STM32F0/mbed_overrides.c
--- a/targets/TARGET_STM/TARGET_STM32F0/mbed_overrides.c	Fri Oct 28 11:17:30 2016 +0100
+++ b/targets/TARGET_STM/TARGET_STM32F0/mbed_overrides.c	Tue Nov 08 17:45:16 2016 +0000
@@ -31,8 +31,6 @@
 void mbed_sdk_init() {
     // Update the SystemCoreClock variable.
     SystemCoreClockUpdate();
-#if !defined(TOOLCHAIN_GCC_ARM)
     // Need to restart HAL driver after the RAM is initialized
     HAL_Init();
-#endif
 }