Timer intterupt not called in simple test

Hi all,

I've the following simple code:

#include "lcdkC6748.h"

#include "soc_C6748.h"

#include "hw_syscfg0_C6748.h"

#include "hw_types.h"

#include "gpio.h"

#include "delay.h"

/*

* hello.c

*/

int main(void) {

printf("Hello World!\n");

//Set the pinmux as gpio for pin D5

SysCfgRegistersUnlock();

HWREG(SOC_SYSCFG_0_REGS+SYSCFG0_PINMUX(0))=(SYSCFG_PINMUX0_PINMUX0_27_24_GPIO0_9<<SYSCFG_PINMUX0_PINMUX0_27_24_SHIFT);

SysCfgRegistersLock();

DelayTimerSetup();

GPIODirModeSet(SOC_GPIO_0_REGS,10,GPIO_DIR_OUTPUT);

while(1) {

GPIOPinWrite(SOC_GPIO_0_REGS,10,GPIO_PIN_LOW);

delay(500);

GPIOPinWrite(SOC_GPIO_0_REGS,10,GPIO_PIN_HIGH);

delay(500);

}

return 0;

}

The GPIO code works fine and the timer seems to be setup correctly. For some reason though, the ISR is never called and the code hangs on delay() waiting for isrflag to be set 0.

How can I check why the ISR is not called?

Thanks in advance.

Kind regards,

Remco Poelstra