Implementando nrf51822 temporizador ejemplo mbed

Estoy usando la placa de evaluación PCA10001 y he podido poner las cosas en marcha utilizando la plataforma mbed, pero ahora estoy implementando una interrupción basada en temporizador para la que estaba usando un ticker. Pero al desmontar y volver a colocar el ticker, el ticker no funciona correctamente. Mi tiempo para llamar a la interrupción es de 1 ms.

Problemas con el ticker Quiero usar el nrf51 timer1 o 2. Ejecuté el código de ejemplo aquí enlace

con algunas modificaciones

#include "mbed.h"

DigitalOut myled(LED1);
RawSerial pc(USBTX, USBRX);

void start_timer(void)
{       
  NRF_TIMER2->MODE = TIMER_MODE_MODE_Timer;  // Set the timer in Counter Mode
  NRF_TIMER2->TASKS_CLEAR = 1;               // clear the task first to be usable for later
    NRF_TIMER2->PRESCALER = 6;                             //Set prescaler. Higher number gives slower timer. Prescaler = 0 gives 16MHz timer
    NRF_TIMER2->BITMODE = TIMER_BITMODE_BITMODE_16Bit;       //Set counter to 16 bit resolution
    NRF_TIMER2->CC[0] = 25000;                             //Set value for TIMER2 compare register 0
    NRF_TIMER2->CC[1] = 5;                                 //Set value for TIMER2 compare register 1

  // Enable interrupt on Timer 2, both for CC[0] and CC[1] compare match events
    NRF_TIMER2->INTENSET = (TIMER_INTENSET_COMPARE0_Enabled << TIMER_INTENSET_COMPARE0_Pos) | (TIMER_INTENSET_COMPARE1_Enabled << TIMER_INTENSET_COMPARE1_Pos);


  NVIC_EnableIRQ(TIMER2_IRQn);

  NRF_TIMER2->TASKS_START = 1;               // Start TIMER2
}

/** TIMTER2 peripheral interrupt handler. This interrupt handler is called whenever there it a TIMER2 interrupt
 */
void TIMER2_IRQHandler(void)
{
    if ((NRF_TIMER2->EVENTS_COMPARE[0] != 0) && ((NRF_TIMER2->INTENSET & TIMER_INTENSET_COMPARE0_Msk) != 0))
  {
        NRF_TIMER2->EVENTS_COMPARE[0] = 0;           //Clear compare register 0 event   
        myled=1;         //Set LED
  }

    if ((NRF_TIMER2->EVENTS_COMPARE[1] != 0) && ((NRF_TIMER2->INTENSET & TIMER_INTENSET_COMPARE1_Msk) != 0))
  {
        NRF_TIMER2->EVENTS_COMPARE[1] = 0;           //Clear compare register 1 event
        myled=0;      //Clear LED
  }
}

int main(void)
{
      pc.baud(9600);

    start_timer();                              //Configure and start timer

    while(true) 
    {
//              pc.printf("%i\n",1);

//         Enter System ON sleep mode
        __WFE();
        // Make sure any pending events are cleared
        __SEV();
        __WFE();

//         For more information on the WFE - SEV - WFE sequence, please refer to the following Devzone article:
         //https://devzone.nordicsemi.com/index.php/how-do-you-put-the-nrf51822-chip-to-sleep#reply-1589
    }
}

Se compila sin errores pero no pasa nada. Cualquier idea sobre lo que podría estar haciendo mal.

He intentado usar tanto las bibliotecas mbed actualizadas como las antiguas.