Debuging kernel

Rafael Ignacio Zurita rafaelignacio.zurita at
Sun May 30 12:27:37 EDT 2010

On Sun, May 30, 2010 at 12:43:13AM +0200, David Reyes Samblas Martinez wrote:
> use that uboot this will give you kernel output in lcd and also enable
> tp4 tp5

David, with that u-boot I was able to read kernel messages and to fix 
the problem :)

Anyway, I would like to see another easier way to modify/set command line 
arguments, but for now, all is okey and that u-boot binary helped me a lot.

Thanks a lot,

More information about the discussion mailing list