circuitpython/ports/esp32/boards/GENERIC_OTA/mpconfigboard.h