я там не всё привёл, но все равно, настойка AINTC не сильно сложнее таймера.
векторизация вышла такая:
CODE
ldr r0, _AINTC_GPVR_ADDR ; r0 contains address of GPVR
; (which contains ISR address)
ldr r0, [r0] ; r0 contains address of highest
; prioritized ISR
add r14, pc, #0 ; Save return address in LR,
; PC = PC + 8 bytes,see documentation
ldr pc, [r0] ; Go to ISR (still in IRQ mode),
; will return to following line
тоже вроде ничего сложного.