I can't get UART 1 (TX only) to work. Doing this:
uart_init(BIT_RATE_460800,BIT_RATE_460800);
uart_tx_one_char(1, 4);
Doesn't show anything on the UART. I have some printfs that work on UART0 at that baudrate. Also both UARTs (0 and 1) print boot messages at 76900bps on boot (the source goes to deep sleep after that and reboots).
I'm using a logic analyzer to make sure it's not a software issue from my computer: after the boot message nothing comes out of the UART1 but UART0 works properly.
Any suggestions? Thanks!