ChibiOS Free Embedded RTOS

I've seen that both timers are not complete implemented. stm32_isr.h file is not updated to support them. Here is a link with changed file.
https://www.dropbox.com/s/3wwmfeny0ih577b/stm32_isr.h (stm32f1 family)

Edit:
I also found that stm32_rcc.h files (for each family) have not implemented functions for those timer.

Here it is also stm32_rcc.h:
https://www.dropbox.com/s/t26disczaibzvqw/stm32_rcc.h(stm32f1)

It should be OK now, please use forum attachments or code boxes for submissions.

Giovanni