Raspberry pi pico & arduino mbed os, whats the pinout?

[johnwasser]

The documentation:
https://arduino-pico.readthedocs.io/en/latest/
Has sections titled:

• Pin (Re)Assignment
  • I2S
  • Serial1 (UART0), Serial2 (UART1)
  • SPI (SPI0), SPI1 (SPI1)
  • Wire (I2C0), Wire1 (I2C1)
• Analog I/O
  • Analog Input
  • Analog Outputs
• Digital I/O
  • Board-Specific Pins
  • Tone/noTone
• EEPROM
  • EEPROM Class API
  • EEPROM Examples
• I2S Audio
  • I2S Class API
• Serial USB and UARTs
• Servo
• SPI
• Wire(I2C)
• File Systems (SD, SDFS, LittleFS)