Hi,
I've created a flash programmer/ram test/xmodem download program in order
to download the uClinux kernel to the board when it is just being brought
up in production (sometime later this year?!!).
I used mb-objcopy to create a binary image from a small test program.
I downloaded the program into external static ram at 0x80000000 and
verified it was there.
I created a small boot program to jump to that address, and used mdm
assembly language stepping to prove that the "brild r9, r15" code was about
to jump to 0x80000000 (in r15).