boot -v on a Marvell/U-boot box

[John Hein]

 > >Ron McDowell wrote at 14:12 -0500 on Jul 31, 2011:
 > >> Hi -arm.  I'm having some problems with ethernet ports on a new
 > >> Marvell 
 > >> 88F6281-based board [more about that later after I've done some more 
 > >> digging] but first I'd like to do the equivalent of a "boot -v" to
 > >> turn 
 > >> on verbose kernel messages.  I can boot FreeBSD 9.0 [from sources 
 > >> grabbed and built yesterday] by doing
 > >>
 > >> ide reset
 > >> fatload ide 0:1 900000 kernel.bin
 > >> go 900000
 > >>
 > >> but only get the normal kernel output that way.
 > >>
 > >> Any help appreciated!  Thanks.

If you can't figure out how to set kernel environment from the boot
loader, you can instead hard-code 'bootverbose' in sys/init_main.c and
build a new kernel.