873bd00ad4
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>
4 lines
175 B
C
4 lines
175 B
C
// Board and hardware specific configuration
|
|
#define MICROPY_HW_BOARD_NAME "Raspberry Pi Pico"
|
|
#define MICROPY_HW_FLASH_STORAGE_BYTES (1408 * 1024)
|