To do that, I’m going to use a virtual UART ... board (the target board in the right part of the image). This second board is the one with the BLE and other peripherals. It doesn’t have a USB ...
It was both non-trivial and used the board’s features nicely ... goes high when something has come in on the serial port. The signals UART_RXD and UART_TXD now appear in the top-level module ...
As the Raspberry Pi Pico 2 doesn't come with Wi-Fi ... resetting and booting the device. The board has one USB port available as well as a couple of UART, two I2C and two SPI connections.