ChibiOS Free Embedded RTOS

This adds support for using TIM12, TIM13 or TIM14 as the system timer for STM32 TIMv1. Tested on a STM32F765.
I needed this for a board where all the existing supported system timers were occupied for other tasks (PWM output, RC input etc). I couldn't see any reason we shouldn't use the other timers if they exist.

Hi,

I had to do a lot of rework in order to integrate the ST driver with the new IRQ infrastructure so the patch was not up to date. Now the new infrastructure is ready and I added support for timers from 9 to 14 to ST.

Giovanni

Giovanni wrote:I had to do a lot of rework in order to integrate the ST driver with the new IRQ infrastructure so the patch was not up to date. Now the new infrastructure is ready and I added support for timers from 9 to 14 to ST.

thanks!