# create hex file for exc_flash_programmer.
# Address in flash: 0x00050000 (0x40050000)
# executable from RAM at 0x000A00000 (10M) 

../armboot-1.1.0/tools//mkimage -A ARM -a 0x00a00000 -e 0x00a00000 -T kernel -n linux -C none -d arch/arm/boot/zImage kernel.img

/usr/local/arm/2.95.3/bin/arm-linux-objcopy -I binary -O srec --change-address=0x00050000 kernel.img kernel.srec

srec_cat kernel.srec -o kernel.hex -intel