Change default kernel debug output port on BBB

Hi,

I’m trying to get the bootup kernel debug mesages to be printed on ttyO1 How do I go about changing the default port? I’ve tried adding console=ttyO1 to the uEnv.txt but no luck. I’ve tested the ttyO1 in minicom and all works well. I’m using the 31-07-2013 Angstrom image and the Chipsee v1 extension board (The ttyO1 is conveinently connected to a DB9 connector)

Thanks