// Board and hardware specific configuration
#define MICROPY_HW_BOARD_NAME "Raspberry Pi Pico 1024"
#define MICROPY_HW_FLASH_STORAGE_BYTES (1024 * 1024)