In message 877jp7dl33.fsf@deepthought.outer.space.org you wrote:
The boot loader that already exists on the board allows me to load the SREC file via TFTP, and I have succeeded doing that. I am still unsure if we should go ahead burn the image and restart the board to see UBoot come up.
I am not familiar with your platform but the SREC file is definitely not for tftp download. You will end up with the SREC file in memory - uninterpreted. If you use tftp, then use the bin file - the srec format is for serial download only.
This is not quite correct. There are so-called boot loaders (like YAMON, to name one) that are stupid enough to accept ONLY S-record files over TFTP. [If you feed them a binary image this may produce some funny console error messages and/or completely hang the system.]
[Don't try it out on "charon", please ;-) ]
Best regards,
Wolfgang Denk