// Board and hardware specific configuration
#define MICROPY_HW_BOARD_NAME                   "Olimex PICO2-XL"
#define MICROPY_HW_FLASH_STORAGE_BYTES (PICO_FLASH_SIZE_BYTES - (1 * 1024 * 1024))

// USB config
#define MICROPY_HW_USB_MANUFACTURER_STRING "Olimex"
#define MICROPY_HW_USB_PRODUCT_FS_STRING "PICO2-XL"
#define MICROPY_HW_USB_MSC (1)
#define MICROPY_HW_ENABLE_UART_REPL (1)