How to load ELF on the board? / U-boot with Ethernet support for SocKit ?

Hi guys,

I have an access to SoCKit by Terasic. I've noticed the kit came with Linux, which works fine. However I have some standalone bare-metal ELF files I'd like to try to run on the board.

U-boot that came with this board came without Ethernet support, so I can't just do "tftpboot" in U-boot.

Questions:

1. Is there any up-to-date U-boot with Ethernet support for SocKit?

2. Which tool could I use to upload ELF file to the board and make CPU run it? I'm using Linux.

Thanks,

WAK