micropython/ports/esp32/boards/GENERIC
..
mpconfigboard.h
mpconfigboard.mk