Hi,
If you use FreeRTOS, I do not think that the freeRTOS modify the interrupt table.
The interrrupt vector is located at 0x00000000 flash address, in other words, you can change the interrupt vector table in the startup_MKxxx.S to register your ISR directly.
I copy the part from *.map. you can see that address of vector table.
Hope it can help you.
BR
Xiangjun Rong
.interrupts 0x00000000 0x400
0x00000000 __VECTOR_TABLE = .
0x00000000 . = ALIGN (0x4)
*(.isr_vector)
.isr_vector 0x00000000 0x400 ./startup/startup_MK64F12.o
0x00000000 __isr_vector
0x00000400 . = ALIGN (0x4)
.flash_config 0x00000400 0x10
0x00000400 . = ALIGN (0x4)
*(.FlashConfig)
.FlashConfig 0x00000400 0x10 ./startup/startup_MK64F12.o
0x00000410 . = ALIGN (0x4)