nuttx/configs/efm32gg-stk3700/include
..
board.h