micropython/ports/rp2/boards/RPI_PICO/mpconfigboard.cmake

# cmake file for Raspberry Pi Pico
set(PICO_BOARD "pico")
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-06 04:57:18 +08:00			`# cmake file for Raspberry Pi Pico`
rp2: Rename PICO, PICO_W to RPI_PICO, RPI_PICO_W. PICO might not always be a unique name across all ports, and the convention generally for other boards is to do VENDOR_BOARD. This work was funded through GitHub Sponsors. Signed-off-by: Jim Mussared <jim.mussared@gmail.com> 2023-08-16 11:13:01 +08:00			`set(PICO_BOARD "pico")`