nuttx/configs/efm32-g8xx-stk/include
..
board.h