I would like to know how to use UART1 on a CC3200. I need to connect the CC3200 to another device via serial port. I can't find any examples on how to do this.
C or JS? in C, you mgos_uart_init(1, ...) (here then you can interact with it from the provided dispatcher callback.
sorry, it's a bit underdocumented now, but you can find the use of each function in gmos code itself, e.g. in RPC code here.
OTOH, if you're just looking to send debug output to UART1, you just need to set debug.stderr_uart and debug.stdout_uart to 1.
Thank you. I'll try to use the RPC code as a template.