Mon Aug 22 11:53:11 CEST 2011

eCos boot

=> 0x0:	ldr	pc, [pc, #24]	; 0x20
   0x4:	ldr	pc, [pc, #24]	; 0x24
   0x8:	ldr	pc, [pc, #24]	; 0x28
   0xc:	ldr	pc, [pc, #24]	; 0x2c

This loads pc with the contents of vectors stored at the addresses
mentioned in the comments.  Why is the offset #24?

The reason is processor pipeline[1].  The pc is always 8 bytes ahead.

[1] http://www.keil.com/forum/16417/