At the moment there is no functionality to use TIM10 to TIM14 on the STM32F4 in PWM or ICU mode - the version of ChibiOS i'm using (2.6.0) and the current stable (2.6.8) and development releases (3.0.0pre) will only setup TIM1 through to TIM9.
I'll provide a patch soon.
Hi,
Those timers are not supported because their ISR is shared with other timers on some platforms, you will have problems enabling one timer in PWM and another in ICU if both use the same vector number (both drivers would define the same vector and the linker would give an error).
The problem will be solved by introducing a shared ISRs manager, it is one of the next things I need to create in the STM32 HAL.
Giovanni