Hello all, in the most recent versions of the [xilinx powerpc] kernel, there are no boot messages printed, which make it hard to debug early problems. What has changed and what can I do in order to get all the habitual boot messages on the serial port ? -- Guillaume Dargaud http://www.gdargaud.net/