ARMmbed

KL25Z PWM issues

Hi,
It seems that it is impossible to use at the same time the PWMout (mbed API) and timer interrupts (Ticker or RTOS) or InterruptIn in the KL25Z, is there any idea to fix it?
Michaël