micropython/ports/rp2/boards/PICO/mpconfigboard.h

// Board and hardware specific configuration
#define MICROPY_HW_BOARD_NAME                   "Raspberry Pi Pico"
#define MICROPY_HW_FLASH_STORAGE_BYTES          (1408 * 1024)
rp2: Add support for building different board configurations. This change allows to build firmware for different rp2-based boards, following how it is done in other ports like stm32 and esp32. So far only the original Pico and Adafruit Feather RP2040 are added. Board names should match (sans case) those in pico-sdk/src/boards/include/boards/. Usage: Pico firmware can be build either using make as previously (it is the default board) or by `make BOARD=PICO`. Feather is built by `make BOARD=ADAFRUIT_FEATHER_RP2040`. Only the board name and flash drive size is set, pin definition is taken from the appropriate pico-sdk board definition. Firmware is saved in the directory build-BOARD_NAME. 2021-04-05 20:57:18 +00:00			`// Board and hardware specific configuration`
			`#define MICROPY_HW_BOARD_NAME "Raspberry Pi Pico"`
			`#define MICROPY_HW_FLASH_STORAGE_BYTES (1408 * 1024)`