Arduino for STM32

Hi, guys. i'm noob with stm32 I have a problem. i use the library dan.drown.org and i'm not able to use the hardwaretimer.h. wanted to change the frequency of the pwm for 25khz with variable duty cycle. I haven't worked with the timers of stm32 yet. library https://github.com/rogerclarkmelbourne/Ard...