Hi Marek,
Have you been able to successfully boot Linux using the mainline uboot? I cannot seem to be able to boot linux on the C5 SocDK.
It starts to boot linux, but then reboots after a bit back into u-boot. So I commented out #define CONFIG_HW_WATCHDOG in include/configs/socfpga_cyclone5.h. That helped so that I can look that __log_buf. I was able to trace it down that it was not able to get a tty console, because serial8250_console_setup() is failing at:
if (!port->iobase && !port->membase)
For reasons I haven't figured out yet, both port->iobase and port->membase are NULL.
So no debug console, but Linux is able to boot all the way to the point of tyring to mount a FS.
Perhaps some kind of memory setup issue? I've seen a thread where Chin-Liang was able to boot, but I don't know if he did any other tricks.
Just wondering if I'm missing a patch or something?
Thanks, Dinh