There seems to be some issue with the examples/timer implementations. attempting to run the timer example on a stock nucleo-f767zi board prints the message in main but TIM2 never fires.