#define MICROPY_HW_BOARD_NAME "4MB/OTA module" #define MICROPY_HW_MCU_NAME "ESP32"