Raspberry Pi Pico: a new $4 microcontroller board from Raspberry Pi

Released today by the Raspberry Pi Foundation, from: https://www.raspberrypi.org/products/raspberry-pi-pico/:

It may come in handy as a potentially cheaper alternative to the Trinkets and other similar microcontroller boards. In the original form when bought new, it cannot be used as a modchip replacement for sending RCM payloads or for installing inside newer Nintendo Switch revisions, but programs can be made to turn these boards into one. The pins come unpopulated, but optional headers can be added, or this board can be soldered onto a carrier board. This board does not ship with Wi-Fi and/or Bluetooth support, but they are not necessary for acting as a modchip replacement. C/C++ and MicroPython are the officially supported programming languages, but others may be usable unofficially.

The specs from https://www.raspberrypi.org/documentation/pico/getting-started/:

• RP2040 microcontroller chip designed by Raspberry Pi in the United Kingdom
• Dual-core Arm Cortex M0+ processor, flexible clock running up to 133 MHz
• 264KB of SRAM, and 2MB of on-board Flash memory
• Castellated module allows soldering direct to carrier boards
• USB 1.1 with device and host support
• Low-power sleep and dormant modes
• Drag-and-drop programming using mass storage over USB
• 26 × multi-function GPIO pins
• 2 × SPI, 2 × I2C, 2 × UART, 3 × 12-bit ADC, 16 × controllable PWM channels
• Accurate clock and timer on-chip
• Temperature sensor
• Accelerated floating-point libraries on-chip
• 8 × Programmable I/O (PIO) state machines for custom peripheral support