set(SDKCONFIG_DEFAULTS boards/sdkconfig.base boards/GENERIC_OTA/sdkconfig.board ) set(MICROPY_FROZEN_MANIFEST ${MICROPY_PORT_DIR}/boards/manifest.py)