int main(void) {

    TM_PWM_TIM_t TIM2_Data;
    /* Initialize system */
    SystemInit();

    /* Set PWM to 1kHz frequency on timer TIM2 */
    /* 1 kHz = 1ms = 1000us */
    TM_PWM_InitTimer(TIM2, &TIM2_Data, 1000);
    /* Initialize PWM on TIM2, Channel 1 and PinsPack 3 = PA15 */
    TM_PWM_InitChannel(&TIM2_Data, TM_PWM_Channel_1, TM_PWM_PinsPack_3);
    /* Initialize PWM on TIM2, Channel 2 and PinsPack 1 = PA1 */
    TM_PWM_InitChannel(&TIM2_Data, TM_PWM_Channel_2, TM_PWM_PinsPack_1);

TM_PWM_SetChannelMicros(&TIM2_Data, TM_PWM_Channel_1, 900);
TM_PWM_SetChannelMicros(&TIM2_Data, TM_PWM_Channel_2, 900);

while (1){
    }
}