hal_tick.h changed for the L432KC target in TARGET/../device/ in order to reassign the system ticker from TIM2 to TIM7, since TIM2 was needed as a 32bit encoder counter.

Dependents:   Nucleo_L432KC_Quadrature_Decoder_with_ADC_and_DAC

Fork of mbed-dev by mbed official

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