Booting a Xilinx board

[Guillaume Dargaud]

> Are you using uartlite?  Try console=ttyUL0.

Thanks, I didn't know that.

> But Stephen is right, the first thing you should do is look at
> __log_buf.  You can find its address in the System.map file.

Unfortunately, the installation of the cable driver failed for some reason. 
I'll have to work on it...
-- 
Guillaume Dargaud
http://www.gdargaud.net/Antarctica/