Verbose boot

I am running Debian on my BBB, and I was wondering if there was a way to get it to send verbose boot output to HDMI while it is booting. I do not have an FTDI, so i cannot do it over serial. Does anybody know how to set this, because every time I look online it talks about grub.

Thanks

In your uEnv.txt, if the word ‘quiet’ is mentioned in your bootargs, delete it — or get possibly more verbose boot messages by replacing it with the word ‘debug’.

I am not near my board now, so I have not tried this and if you do so, it is at your own risk.

…but… here are some references:
http://www.tldp.org/HOWTO/BootPrompt-HOWTO-3.html
http://processors.wiki.ti.com/index.php/Sitara_Linux_Training:_Boot_Time_Reduction#Finding_Linux_Kernel_Optimizations

Don