How to start UART communication on UART1 port ie pin(8,10) on mangOH red using WP7502?

this is to route the console to UART1. After reboot, there should be some kernel log coming out from UART1, can you see it?