OK...so there is a feature beautifully hidden across two websites and four different sources of documentation, called _bsp_init_interrupt, which sets up the NVIC for my timer.
Spent a happy morning attaching the ISR to a GPIO pin on my target, and hoped to see a regular toggle of the GPIO pin.
Nope.
The first time I run the target (under J-link) the pin gets toggled, then stays high. If I break the execution, then continue it, the pin gets toggled low, then stays that way. etc. etc.
Every time I break and continue, the pin gets toggled.
Once
.