set_io o_uart_tx B1	# UART-TX on UEXT connector yellow
set_io i_uart_rx F5	# UART-RX on UEXT connector orange