E.setConsole() force option on Pico (and question about Pico Serial* to USART* mapping)

Hi!

What you're after is actually what should happen by default on the Pico. If you can use pins B6/B7 you're sorted - the console will be on those at 9600 baud until USB is connected.

Which serial interfaces are actually available?

Sorry, that is confusing. USARTX and SerialX are the same as you suggest, so you have two serial ports available, Serial1 and Serial2.

why does USART1 RX appear on A10 and B7?

The STM32 chip can be configured (with Serial1.setup(...)) to have the RX pin on either A10 or B7 (not at the same time). By default it's B7 though.

For anyone else reading - this is specific to the STM32 chips used in Original/Pico/WiFi boards. The nRF52 chips used in the Espruino Bluetooth boards allow you to use any peripheral on any pin.