raspiezo / mbed-dev

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

Diff: targets/TARGET_Freescale/mbed_rtx.h

Revision:
153:fa9ff456f731
Parent:
150:02e0a0aed4ec
--- a/targets/TARGET_Freescale/mbed_rtx.h	Thu Dec 15 11:48:27 2016 +0000
+++ b/targets/TARGET_Freescale/mbed_rtx.h	Tue Dec 20 17:27:56 2016 +0000
@@ -217,6 +217,21 @@
 #define OS_CLOCK                48000000
 #endif
 
+#elif defined(TARGET_KW41Z)
+
+#ifndef INITIAL_SP
+#define INITIAL_SP              (0x20018000UL)
+#endif
+#ifndef OS_TASKCNT
+#define OS_TASKCNT              14
+#endif
+#ifndef OS_MAINSTKSIZE
+#define OS_MAINSTKSIZE          256
+#endif
+#ifndef OS_CLOCK
+#define OS_CLOCK                40000000
+#endif
+
 #elif defined(TARGET_K82F)
 
 #ifndef INITIAL_SP