micropython/stm/boards/STM32F4DISC
..
mpconfigboard.h
pins.csv