Is the entire ARM7 port done in ARM mode, there doesn't seem to be a difference between the two modes. In addition, looking at the AT91 configuration, how is the interrupt handler configured as the file is not linked?