roberto-plus wrote on Friday, December 13, 2013:
Sorry, I can’t understand.
In a correct project I see that in a portasm.S the handler of interrupt is MICROBLAZE, because in above line configINTERRUPT_CONTROLLER_TO_USE is a deviceID of Microblaze
/* The parameter to the interrupt handler. */
ori r5, r0, configINTERRUPT_CONTROLLER_TO_USE
so the different with this project is in platform_config.h that is not blank but contains the above lines.
#define PLATFORM_EMAC_BASEADDR XPAR_ETHERNET_LITE_BASEADDR
#define PLATFORM_TIMER_BASEADDR XPAR_AXI_TIMER_0_BASEADDR
#define PLATFORM_TIMER_INTERRUPT_INTR XPAR_MICROBLAZE_0_INTC_AXI_TIMER_0_INTERRUPT_INTR
#define PLATFORM_TIMER_INTERRUPT_MASK (1 << XPAR_MICROBLAZE_0_INTC_AXI_TIMER_0_INTERRUPT_INTR)
so the error is with timer_interrupt
You can see my portasm.S at :
https://gist.github.com/anonymous/7946037
I have this file microblaze_interrupt_handler.c that contains a
void __interrupt_handler (void) attribute ((interrupt_handler));
but I don’t know how to risolve.
If you prefer i can attach enteire preject 
Regards