В функции work() мы зададим для канала 4 таймера №4 (синий светодиод) значение 1000, что эквивалентно постоянно включенному светодиоду.
/* tim4 load values to ccr1..4 */
TIM4->CCR1 = 500;
TIM4->CCR2 = 0;
TIM4->CCR3 = 0;
TIM4->CCR4 = 1000;
И добавим включение HSE, также не забыв об ожидании стабилизации:
* enable HSE and wait to ready */
RCC->CR |= RCC_CR_HSEON;
while ((RCC->CR & RCC_CR_HSERDY) == 0);
Для ФАПЧ переключим тактирование на этот источник тактового сигнала:
/* switch plls clock to hse */
RCC->PLLCFGR |= RCC_PLLCFGR_PLLSRC_HSE;