Hi, 
  
quick question: 
  
I want to generate a fast and accurate PWM signal with the stm32 integrated PWM-mode of the general purpose timer. Right now the timer function of MIOS32 does not enable me to access this mode. How can that be done? 
So far, I know that the corresponding GPIO pin has to be configured in Alternate Function mode, to be able to connect to on chip peripheral signal sources like the PWM Generator. I added this mode to the pin modes in mios32_board.c and the correspondig header file. 
But I can't seem to figure out, how to initialize the timer for that mode. :no: 
Help please? 
  
Regards