micropython/ports/esp32/boards/M5STACK_ATOMS3_LITE/mpconfigboard.cmake

set(IDF_TARGET esp32s3)

set(SDKCONFIG_DEFAULTS
    boards/sdkconfig.base
    boards/sdkconfig.usb
    boards/sdkconfig.ble
    boards/ESP32_GENERIC_S3/sdkconfig.board
)