[U-Boot] Mainline u-boot on socfpga (SocKit) board

Hi!

I know that mainline U-Boot SPL is quite far from working on socfpga... but would like to ask, what is the status of U-Boot proper. That should work on socfpga, right? Or are there some pieces missing?

I tried

commit 173d294b94cfec10063a5be40934d6d8fb7981ce Merge: 33b0f7b 870e0bd Author: Tom Rini trini@ti.com Date: Tue May 6 14:55:45 2014 -0400

Merge branch 'serial' of git://www.denx.de/git/u-boot-microblaze

and it just dies with no output.

I'd really like to get something close to mainline working, so that I can generate patches etc.

Thanks, Pavel