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

set(IDF_TARGET esp32c3)

set(SDKCONFIG_DEFAULTS
    boards/sdkconfig.base
    boards/sdkconfig.ble
    boards/SEEED_XIAO_ESP32C3/sdkconfig.board
)

set(MICROPY_FROZEN_MANIFEST ${MICROPY_BOARD_DIR}/manifest.py)