[ECOS] scheduler interrupt

[Michele Portolan]

Hello everyone,
which interrupt is responsible for context switching? 
I looked it up and for my Leon2 I think Iit is interrupt 14, labelled as "CYGNUM_HAL_SMP_CPU_INTERRUPT_VECTOR". 
Is it correct or am I mistaken?

Thanks,

Michele

-- 
Before posting, please read the FAQ: http://ecos.sourceware.org/fom/ecos
and search the list archive: http://ecos.sourceware.org/ml/ecos-discuss