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