apache / nuttx

Apache NuttX is a mature, real-time embedded operating system (RTOS)
https://nuttx.apache.org/
Apache License 2.0
2.88k stars 1.18k forks source link

STM32H7 timers #11596

Open maxikrie opened 10 months ago

maxikrie commented 10 months ago

I noticed that for the STM32H7 family, TIM9, TIM10, TIM11 are referenced in stm32_tim_lowerhalf.c and stm32_tickless.c (probably in other files such as kconfig as well) even though they don't exist for this chip.

This is partly my fault since I copied the stm32_tim_lowerhalf.c from the STM32F7 family and created the pull request about a year ago. Has anybody noticed and correct this already? Otherwise I will work on this and create a pull request.

acassis commented 10 months ago

Hi @maxikrie thanks for reporting it! Could you please submit a fix? If you are busy I can do it.