Baremetal examples which uses u-boot doesnt work

There are a number of guides and tutorials at http://rocketboards.org/foswiki/documentation/webhome. They go into more detail than the SOC Arrow training does. Most are not for the socrates board, but the same principles apply. See "Generating and Compiling the Preloader" near the bottom for info on updating the individual parts of the SD card.

I would stick with GCC for uboot and preloader. That is what they were developed with. Make sure you use the bare metal gcc version given in the tutorial not the linux version. Also, make sure you are using the tutorial version for the quartus EDS version you are using. It usually doesn't matter, but it can occasionally trip you up.