nuttx/configs/stm32f411e-disco/include
..
board.h