Interrupt service routines for INT0, INT1, INT2 in enCoReII

Question: Where are the Interrupt Service Routines of the pin specific interrupts INT0, INT1 and INT2 located?

 

Answer:

The boot.tpl file of the encoreII project will contain the Interrupt Service Routines for enCoRe II GPIO interrupts: INT0, INT1, INT2.