micropython/ports/esp8266/boards/GENERIC_512K
..
mpconfigboard.h
mpconfigboard.mk