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