-#if 0
- timer_set_prescaler(TIM4, 7); // clock = 72 MHz / 8 = 18 MHz FIXME!
- timer_set_mode(TIM4, TIM_CR1_CKD_CK_INT, TIM_CR1_CMS_EDGE, TIM_CR1_DIR_UP);
- timer_disable_preload(TIM4);
- timer_set_period(TIM4, 255); // PWM frequency = 18 MHz / 256 = 70.3125 kHz
- timer_set_oc_mode(TIM4, TIM_OC1, TIM_OCM_PWM1);
- timer_set_oc_value(TIM4, TIM_OC1, 128);
- timer_set_oc_polarity_high(TIM4, TIM_OC1);
- timer_enable_counter(TIM4);
- timer_enable_oc_output(TIM4, TIM_OC1);
-#endif
-
- gpio_set_mode(GPIOB, GPIO_MODE_OUTPUT_50_MHZ, GPIO_CNF_OUTPUT_ALTFN_PUSHPULL, GPIO6);
- // gpio_set_mode(GPIOA, GPIO_MODE_OUTPUT_50_MHZ, GPIO_CNF_OUTPUT_PUSHPULL, GPIO8);
-