nuttx/configs/stm32f4discovery/include
..
board.h