I'm using the PPI to generate a PWM signal on my nRF51822, and I've noticed that TIMER_SHORTS is never triggered unless the timer interrupt is also active. I had originally assumed that I don't need the interrupt at all when I use PPI, as the GPIO trigger works regardless of the interrupt state. The timer section in the RM (http://infocenter.nordicsemi.com/pdf/nRF51_RM_v3.0.1.pdf) doesn't mention anything, should this be an errata or note in the docs? I'm perfectly fine with having the interrupt enabled and doing nothing, but it looks like a potential error source...
Best, Florian